diff options
| author | Lars Ingebrigtsen | 2022-06-21 12:15:11 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen | 2022-06-21 12:15:11 +0200 |
| commit | 649b43d20cf75e61fab289f99d20e98b035d5a9a (patch) | |
| tree | 52e06419868710fae5746784346f4219a151c952 /src | |
| parent | 8cf3c3203b07b781ed34627fce0283d2b1b03fd7 (diff) | |
| download | emacs-649b43d20cf75e61fab289f99d20e98b035d5a9a.tar.gz emacs-649b43d20cf75e61fab289f99d20e98b035d5a9a.zip | |
Make Lucid menus work from the keyboard also when uninstalled
* lwlib/xlwmenu.c (ungrab_all, pop_up_menu): Use it.
* src/keyboard.c (syms_of_keyboard): New variable (bug#46990).
Diffstat (limited to 'src')
| -rw-r--r-- | src/keyboard.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index e62b2e56d3d..c41727d6c6e 100644 --- a/src/keyboard.c +++ b/src/keyboard.c | |||
| @@ -12648,6 +12648,15 @@ See also `pre-command-hook'. */); | |||
| 12648 | doc: /* Non-nil means menu bar, specified Lucid style, needs to be recomputed. */); | 12648 | doc: /* Non-nil means menu bar, specified Lucid style, needs to be recomputed. */); |
| 12649 | Vlucid_menu_bar_dirty_flag = Qnil; | 12649 | Vlucid_menu_bar_dirty_flag = Qnil; |
| 12650 | 12650 | ||
| 12651 | #ifdef USE_LUCID | ||
| 12652 | DEFVAR_BOOL ("lucid--menu-grab-keyboard", | ||
| 12653 | lucid__menu_grab_keyboard, | ||
| 12654 | doc: /* If non-nil, grab keyboard during menu operations. | ||
| 12655 | This is only relevant when using the Lucid X toolkit. It can be | ||
| 12656 | convenient to disable this for debugging purposes. */); | ||
| 12657 | lucid__menu_grab_keyboard = true; | ||
| 12658 | #endif | ||
| 12659 | |||
| 12651 | DEFVAR_LISP ("menu-bar-final-items", Vmenu_bar_final_items, | 12660 | DEFVAR_LISP ("menu-bar-final-items", Vmenu_bar_final_items, |
| 12652 | doc: /* List of menu bar items to move to the end of the menu bar. | 12661 | doc: /* List of menu bar items to move to the end of the menu bar. |
| 12653 | The elements of the list are event types that may have menu bar | 12662 | The elements of the list are event types that may have menu bar |