Comment 2 for bug 1648543

Thank you. This is really something that can happen in regular usage as well. I believe however, that rather than letting the keyboard reach this unexpected state and clean up by force-releasing keys, we should better prevent that situation from happening in the first place. I think hiding the window should be delayed until all keys are released.

There already exist pause/resume and freeze/thaw functions in AutoShow.py. The former are meant for longer periods of time, e.g. for auto-hide on key-press, the latter for shorter durations, to skip over erratic auto-show behavior. However, neither remembers the most recent auto-show state, i.e. keyboard visible or not, and applies it afterwards (on resume, thaw), which is what we would need here. Adding that to freeze/thaw might be risky - perhaps there should be a third set of functions, say delay/apply.

If you would like to work on this please do. I'll merge it.