From 65881cefcf8da27bf0df548ff681de0f787ae762 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 22 Sep 2006 18:02:46 +0000
Subject: Add workaround for GNU Emacs problems in easymenu-add.

---
 lib/proof-compat.el | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'lib')

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)
-- 
cgit v1.2.3