[mutter/wip/gestures: 5/14] ui: Remove unneeded code

[Carlos Garnacho <carlosg src gnome org>]

commit d20b46daaf45ef1d7d7d7b286756998deeb71a02
Author: Carlos Garnacho <carlosg gnome org>
Date:   Thu Jun 19 22:08:16 2014 +0200

    ui: Remove unneeded code
    
    There's no way now that GDK will hold a grab, so it is safe to remove
    this now.

 src/ui/ui.c |    7 -------
 1 files changed, 0 insertions(+), 7 deletions(-)
---
diff --git a/src/ui/ui.c b/src/ui/ui.c
index a11adbb..bc89a19 100644
--- a/src/ui/ui.c
+++ b/src/ui/ui.c
@@ -147,13 +147,6 @@ maybe_redirect_mouse_event (XEvent *xevent)
   gmanager = gdk_display_get_device_manager (gdisplay);
   gdevice = gdk_x11_device_manager_lookup (gmanager, META_VIRTUAL_CORE_POINTER_ID);
 
-  /* If GDK already thinks it has a grab, we better let it see events; this
-   * is the menu-navigation case and events need to get sent to the appropriate
-   * (client-side) subwindow for individual menu items.
-   */
-  if (gdk_display_device_is_grabbed (gdisplay, gdevice))
-    return FALSE;
-
   switch (xev->evtype)
     {
     case XI_ButtonPress: