From 9d4f3c58420ac1c7ea060a23f48fef27fea26a1e Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Sat, 1 Oct 2011 09:00:57 +0200
Subject: [PATCH] Allow keyboard ops to work without a pointer grab

https://bugzilla.gnome.org/show_bug.cgi?id=660457
---
 src/core/display.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/display.c b/src/core/display.c
index 095cbc347..891004429 100644
--- a/src/core/display.c
+++ b/src/core/display.c
@@ -3558,7 +3558,7 @@ meta_display_begin_grab_op (MetaDisplay *display,
   meta_display_set_grab_op_cursor (display, screen, op, FALSE, grab_xwindow,
                                    timestamp);
 
-  if (!display->grab_have_pointer)
+  if (!display->grab_have_pointer && !grab_op_is_keyboard (op))
     {
       meta_topic (META_DEBUG_WINDOW_OPS,
                   "XGrabPointer() failed\n");