I have a problem with a program that uses a lot of hotkeys. Every now and again, pressing one of them seems to leave the ctrl key locked down, even when I exit the program. There's something here here that sounds vaguely similar, though I couldn't really follow the discussion or solution. I wondered if anyone has had the same problem, or knows of a way to prevent it happening? Thanks!