GNOME Bugzilla – Bug 661707
Pressing extended key closes keyboard
Last modified: 2011-10-20 17:45:57 UTC
As stated in summary.
Created attachment 198966 [details] [review] Add corner case for pressing extended key
Created attachment 198970 [details] [review] Add corner case for pressing extended key Also check if focus._key is set, otherwise will return an exception
Created attachment 199560 [details] [review] Record previous focus, in order to determine whether a key with extended keys has been pressed As it turns out the previous patch does not help this case. I thought it was working in the overview and then I realized that the overview stayed open when pressing an extended key anyways. So, I logged the focus and realized that there is no way to tell at the moment what keys are extended keys, since focus switches to Clutter.Stage at that point. If we grab the previous focus, however, we can at least tell whether a key with extended keys has been pressed.