Skip to content

Support arrow characters for autocompletion.#886

Merged
yoichiro merged 1 commit intomainfrom
issue-884
Apr 23, 2025
Merged

Support arrow characters for autocompletion.#886
yoichiro merged 1 commit intomainfrom
issue-884

Conversation

@yoichiro
Copy link
Collaborator

Fix #884

@yoichiro yoichiro merged commit 7a04636 into main Apr 23, 2025
1 check passed
@yoichiro yoichiro deleted the issue-884 branch April 23, 2025 05:38
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.

searching for an arrow doesn't give an arrow

1 participant