diff options
author | Owen W. Taylor <otaylor@fishsoup.net> | 2013-12-18 09:23:08 -0500 |
---|---|---|
committer | Owen W. Taylor <otaylor@fishsoup.net> | 2013-12-24 11:29:53 -0500 |
commit | da55e27c3b7666c81038ae2e94cbd3733c50a251 (patch) | |
tree | 8bc336e970a596bf9c7b27f22e0b245c97c71aa1 | |
parent | f3196e356b66420b5d1bbf6ad00c6c152c975ddd (diff) |
Be willing to unfocus the grab window when we are unmanaging it
When we are unmanaging the grab window, we /need/ to unfocus it,
so we shouldn't bail out early from meta_window_focus().
https://bugzilla.gnome.org/show_bug.cgi?id=711618
-rw-r--r-- | src/core/window.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/core/window.c b/src/core/window.c index 1501b1ad..ca92b6dc 100644 --- a/src/core/window.c +++ b/src/core/window.c @@ -5890,7 +5890,8 @@ meta_window_focus (MetaWindow *window, window->desc, window->input, window->take_focus); if (window->display->grab_window && - window->display->grab_window->all_keys_grabbed) + window->display->grab_window->all_keys_grabbed && + !window->display->grab_window->unmanaging) { meta_topic (META_DEBUG_FOCUS, "Current focus window %s has global keygrab, not focusing window %s after all\n", |