diff options
author | Matthias Clasen <mclasen@redhat.com> | 2011-10-01 09:00:57 +0200 |
---|---|---|
committer | Adel Gadllah <adel.gadllah@gmail.com> | 2011-10-15 22:50:45 +0200 |
commit | 9d4f3c58420ac1c7ea060a23f48fef27fea26a1e (patch) | |
tree | df1216c619b7eb5cd176e87cb61bc36465bae718 | |
parent | 0b2a9d58e013b922aff957439a8787ed5b8addab (diff) | |
download | mutter-9d4f3c58420ac1c7ea060a23f48fef27fea26a1e.tar.gz |
Allow keyboard ops to work without a pointer grab
https://bugzilla.gnome.org/show_bug.cgi?id=660457
-rw-r--r-- | 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 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"); |