(kbd_buffer_get_event) [USE_X_TOOLKIT]:

Handle menu_bar_activate_event by calling x_activate_menubar.

diff --git a/src/keyboard.c b/src/keyboard.c
index 5189cf58f0798515f80a2dc57011f7c85ac84e23..f1181188103a2f22c24ae3c5c9af624248be83c1 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -2611,6 +2611,13 @@ kbd_buffer_get_event (kbp, used_mouse_menu)
          XSETBUFFER (obj, current_buffer);
          kbd_fetch_ptr = event + 1;
        }
+#ifdef USE_X_TOOLKIT
+      else if (event->kind == menu_bar_activate_event)
+       {
+         kbd_fetch_ptr = event + 1;
+         x_activate_menubar (XFRAME (event->frame_or_window));
+       }
+#endif
       /* Just discard these, by returning nil.
         With MULTI_KBOARD, these events are used as placeholders
         when we need to randomly delete events from the queue.