diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/keyboard.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index 5189cf58f07..f1181188103 100644 --- a/src/keyboard.c +++ b/src/keyboard.c | |||
| @@ -2611,6 +2611,13 @@ kbd_buffer_get_event (kbp, used_mouse_menu) | |||
| 2611 | XSETBUFFER (obj, current_buffer); | 2611 | XSETBUFFER (obj, current_buffer); |
| 2612 | kbd_fetch_ptr = event + 1; | 2612 | kbd_fetch_ptr = event + 1; |
| 2613 | } | 2613 | } |
| 2614 | #ifdef USE_X_TOOLKIT | ||
| 2615 | else if (event->kind == menu_bar_activate_event) | ||
| 2616 | { | ||
| 2617 | kbd_fetch_ptr = event + 1; | ||
| 2618 | x_activate_menubar (XFRAME (event->frame_or_window)); | ||
| 2619 | } | ||
| 2620 | #endif | ||
| 2614 | /* Just discard these, by returning nil. | 2621 | /* Just discard these, by returning nil. |
| 2615 | With MULTI_KBOARD, these events are used as placeholders | 2622 | With MULTI_KBOARD, these events are used as placeholders |
| 2616 | when we need to randomly delete events from the queue. | 2623 | when we need to randomly delete events from the queue. |