Wow, thanks for leaving such a nice comment! I think I may have run into something like the bug you described a couple of times during testing, but I couldn't replicate it reliably nor tell whether it was my own mouse and keyboard that were to blame. I'll have to look into it.