From b8f373c606c31539fc8b261c8346e73b8fb0f8fb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 30 Sep 2005 14:56:05 +0000
Subject: Fix multiple Isabelle submenus on mode popup.

---
 generic/proof-menu.el | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 46ad20d6..31b1c965 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -186,10 +186,13 @@ without adjusting window layout."
 (defun proof-assistant-menu-update ()
   "Update proof assistant menu in scripting buffers."
   (proof-map-buffers (proof-buffers-in-mode proof-mode-for-script)
-     (proof-menu-define-settings-menu)
-     (proof-menu-define-specific)
-     (easy-menu-remove proof-assistant-menu)
-     (easy-menu-add proof-assistant-menu proof-mode-map)))
+    ;; NB: behaviour of easy-menu-remove here is odd in XEmacs, it
+    ;; considerably changes the mode popup menu.  
+    ;; In GNU Emacs this first instruction does nothing.
+    (easy-menu-remove proof-assistant-menu)
+    (proof-menu-define-settings-menu)
+    (proof-menu-define-specific)
+    (easy-menu-add proof-assistant-menu (proof-ass mode-map))))
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3