[gtk+] searchbar: ignore GDK_KEY_Menu in handle_event()

[Matthias Clasen <matthiasc src gnome org>]

commit f462dded36c656a4e063a2d1131febc5955806e0
Author: Stefano Facchini <stefano facchini gmail com>
Date:   Mon Aug 5 18:22:20 2013 +0200

    searchbar: ignore GDK_KEY_Menu in handle_event()
    
    https://bugzilla.gnome.org/show_bug.cgi?id=705524

 gtk/gtksearchbar.c |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/gtk/gtksearchbar.c b/gtk/gtksearchbar.c
index d1c0eb2..bf5f2a9 100644
--- a/gtk/gtksearchbar.c
+++ b/gtk/gtksearchbar.c
@@ -225,7 +225,8 @@ gtk_search_bar_handle_event (GtkSearchBar *bar,
   if (priv->reveal_child ||
       !gdk_event_get_keyval (event, &keyval) ||
       is_keynav_event (event, keyval) ||
-      keyval == GDK_KEY_space)
+      keyval == GDK_KEY_space ||
+      keyval == GDK_KEY_Menu)
     return GDK_EVENT_PROPAGATE;
 
   if (!gtk_widget_get_realized (priv->entry))