aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2006-09-22 18:02:46 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2006-09-22 18:02:46 +0000
commit65881cefcf8da27bf0df548ff681de0f787ae762 (patch)
treeba27841725aa1061db9986e3ec16873d2dad628e /lib
parent50ed5b3a2487b818a0741a7c4fe7f5ec52d52d7c (diff)
Add workaround for GNU Emacs problems in easymenu-add.
Diffstat (limited to 'lib')
-rw-r--r--lib/proof-compat.el8
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)