diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-09-30 14:56:05 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-09-30 14:56:05 +0000 |
| commit | b8f373c606c31539fc8b261c8346e73b8fb0f8fb (patch) | |
| tree | 21c420f322a17c2dbedbc919d6d93cbe9569ea5d /generic | |
| parent | f964465a2ad8124c65cc4cebddb34d5135ee1e99 (diff) | |
Fix multiple Isabelle submenus on mode popup.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-menu.el | 11 |
1 files 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)))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |