Ctrl-click sometimes cursor doesn't change back to normal

[gene-pavlovsky]

1. Ctrl-hover some keyword, mouse cursor is changed to hand cursor. 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.
2. Can't reproduce reliably, but a few times mouse pointer got stuck with the hand cursor. I was just navigating the code, I think switching tabs at the moment, probably holding 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 releasing ctrl in an empty area of the editor also didn't change the cursor back. Only after I pressed ctrl and hovered over some keyword (ctrl-clickable), then released ctrl 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.

[kyle-mcknight]

I have this problem all the time.

[gene-pavlovsky]

I have to disable Ctrl-click for now - no matter how useful it is, I'm really bothered by these issues. Hopefully @SlavaRa can fix it :)

[DarthVan]

Hi! Got this bug too..