Skip to content

Conversation

@wengxt
Copy link
Member

@wengxt wengxt commented Sep 27, 2025

Previously, we use "word.empty()" to skip possible separator only segments
e.g. "xi'", "'" may be consumed as a single segment. Howver, with
selectCustom, this does not hold anymore. And this would be causing
issues when other code assume there should be selected segments.

Previously, we use "word.empty()" to skip possible separator only segments
e.g. "xi'", "'" may be consumed as a single segment. Howver, with
selectCustom, this does not hold anymore. And this would be causing
issues when other code assume there should be selected segments.
@wengxt wengxt merged commit d33a857 into master Sep 27, 2025
5 checks passed
@wengxt wengxt deleted the empty-custom-select branch September 27, 2025 14:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants