-
Notifications
You must be signed in to change notification settings - Fork 4
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
Ctrl-click sometimes cursor doesn't change back to normal #137
Comments
I have this problem all the time. |
I have to disable Ctrl-click for now - no matter how useful it is, I'm really bothered by these issues. |
Hi! Got this bug too.. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Release
ctrl
, cursor stays hand, and keyword keeps highlight, until mouse is moved.Expected: change cursor back to normal style, remove highlight as soon as
ctrl
is released.ctrl
, something like that. At some point I noticed that mouse cursor was the hand cursor (ctrl
was released), mouse was not over an identifier. Moving the mouse didn't change the cursor back. Pressing and releasingctrl
in an empty area of the editor also didn't change the cursor back. Only after I pressedctrl
and hovered over some keyword (ctrl-clickable), then releasedctrl
and moved the mouse, the cursor turned back to normal. Sorry can't give exact steps to reproduce, this only happened a couple of times so far.The text was updated successfully, but these errors were encountered: