-
Notifications
You must be signed in to change notification settings - Fork 7
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Is there better way to handle double click selection? #4
Comments
Well, my honest short answer is: No But actually I have never seriously investigated a way to resolve mouse selection problem since the first release. 2.5 years have been passed since then... I will take a look too so wait for a moment please. |
thanks! |
@tyru I investigated current API set but no luck to find a way around. But I found a new issue on VSCode's repository which is directly related to this problem: |
Thanks for investigating! very glad to hear that 🙌 |
As of VSCode v1.91.1 (#203605), it silently (?) supports Note that |
As sgryjp said, |
This is question issue.
I want to fix selection range when double click.
I tried to fix this using
registerHoverProvider()
+onDidChangeTextEditorSelection()
.https://github.com/sgryjp/japanese-word-handler/compare/master...tyru:handle-double-click?expand=1
But that has the problem:
registerHoverProvider()
handler is not called so frequently, it doesn't update mouse position when moving mouse quickly.And question is:
I wonder if event has a mouse position, or any other better workaround for this 🤔
Do you know that?
Screenshot
The text was updated successfully, but these errors were encountered: