diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/proof-compat.el | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/lib/proof-compat.el b/lib/proof-compat.el index 411455be..4621f58f 100644 --- a/lib/proof-compat.el +++ b/lib/proof-compat.el @@ -690,9 +690,15 @@ The corresponding face should be set using `edit-faces' or the ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; -;; Future GNU Emacs versions +;; Workaround GNU Emacs problems in easymenu-add ;; +(if proof-running-on-Emacs21 + ;; This has a nasty side effect of removing accelerators + ;; from existing menus when easy-menu-add is called. + ;; Problem confirmed in versions: 21.4.1 + (setq easy-menu-precalculate-equivalent-keybindings nil)) + ;; End of proof-compat.el (provide 'proof-compat) |