[mutter] Be willing to unfocus the grab window when we are unmanaging it

[Owen Taylor <otaylor src gnome org>]

commit ed4fb0695ed7b2fddbc0855e1e993b5e2ab4ef87
Author: Owen W. Taylor <otaylor fishsoup net>
Date:   Wed Dec 18 09:23:08 2013 -0500

    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

 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 cf5cd7d..c1dbb7b 100644
--- a/src/core/window.c
+++ b/src/core/window.c
@@ -5997,7 +5997,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",