[mutter] Allow keyboard ops to work without a pointer grab

[Adel Gadllah <agadllah src gnome org>]

commit 9d4f3c58420ac1c7ea060a23f48fef27fea26a1e
Author: Matthias Clasen <mclasen redhat com>
Date:   Sat Oct 1 09:00:57 2011 +0200

    Allow keyboard ops to work without a pointer grab
    
    https://bugzilla.gnome.org/show_bug.cgi?id=660457

 src/core/display.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/core/display.c b/src/core/display.c
index 095cbc3..8910044 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");