[mutter] ui: Remove unneeded code

[Jasper St. Pierre <jstpierre src gnome org>]

commit 0919b37c34240ebac87d265a08414aedc8eec278
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 d5a650f..b771611 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_TouchBegin: