Daodan wrote: As far as I can tell the introduced fix only applies to the reload button - and not the hotkey.
Oh, there is a reload hotkey now too, right. I keep forgetting it.
Daodan wrote: And when typing in the editor the hotkeys for toggling techniques still get recognized.
Whoops. Nice find.
Daodan wrote: I guess I consider this a bug as every text-editor does that:
Upon pressing a button the cursor should stay solid for a little while and not continue blinking.
Never noticed this, but sure, why not. Upon further inspection this different widely between editors. Visual Studio for instance only resets the animation when clicking something. Visual Studio Code also resets it when entering text. I'll be doing the latter I think.