Thanks for the info! With the keys there is also a problem if you hit a key and you still push it and then changing the window with ALT+TAB, then this key is still marked as pushed even if you don't push it anymore.
Yes, this one is a bit annoying. Though, the one I referred to still persisted even after I restarted the engine or pressed the button in question. But so far this has only happened a single time so I suspect it was something related to windows.
