grab the pointer when grabbing the keyboard to discard pointer events

diff --git a/src/bindings.cc b/src/bindings.cc
index 78fc74cdfe642f1e5ca1f241104c2c65cc2c5429..902340384b1f29e9c27f57e3aa7b573d80233a57 100644 (file)
--- a/src/bindings.cc
+++ b/src/bindings.cc
@@ -386,6 +386,8 @@ bool Bindings::grabKeyboard(int screen, PyObject *callback)
   if (XGrabKeyboard(**otk::display, root, false, GrabModeAsync,
                     GrabModeAsync, CurrentTime))
     return false;
+  XGrabPointer(**otk::display, root, false, 0, GrabModeAsync,
+               GrabModeAsync, None, None, CurrentTime);
   _keybgrab_callback = callback;
   return true;
 }
@@ -397,6 +399,7 @@ void Bindings::ungrabKeyboard()
 
   _keybgrab_callback = 0;
   XUngrabKeyboard(**otk::display, CurrentTime);
+  XUngrabPointer(**otk::display, CurrentTime);
 }