diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2006-09-22 18:02:46 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2006-09-22 18:02:46 +0000 |
commit | 65881cefcf8da27bf0df548ff681de0f787ae762 (patch) | |
tree | ba27841725aa1061db9986e3ec16873d2dad628e /lib | |
parent | 50ed5b3a2487b818a0741a7c4fe7f5ec52d52d7c (diff) |
Add workaround for GNU Emacs problems in easymenu-add.
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) |