diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 01:25:15 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 01:25:15 +0000 |
commit | e1b274c7cd78db895ee1f2da4e6cfa4daa5d7316 (patch) | |
tree | 5d09fefee4e85b1fd703b839c6d89763fc462c40 | |
parent | da88d02c38e53e3ae9b5f4f625023dc58d6ae472 (diff) |
Remove response history (delay for 3.7.1). Promote speedbar
-rw-r--r-- | generic/proof-menu.el | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 30794901..696b55da 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -334,14 +334,22 @@ without adjusting window layout." :style toggle :selected proof-toolbar-enable] - ["Response history" proof-keep-response-history-toggle - :style toggle - :selected proof-keep-response-history] +;;; TODO: Add this in PG 3.7.1 once; see trac #169 +;;; ["Response history" proof-keep-response-history-toggle +;;; :style toggle +;;; :selected proof-keep-response-history] ["Index Menu" proof-imenu-toggle :active (stringp (locate-library "imenu")) :style toggle :selected proof-imenu-enable] + + ;; NB: convenience; speedbar isn't saved/resumed automatically. + ["Speedbar" speedbar + :active (stringp (locate-library "speedbar")) + :style toggle + :selected (and (boundp 'speedbar-frame) speedbar-frame)] + ("Display" ["Layout Windows" proof-layout-windows] ["Use Three Panes" proof-three-window-toggle @@ -468,9 +476,6 @@ without adjusting window layout." (defconst proof-advanced-menu (cons "Advanced..." (append - (if proof-running-on-XEmacs ;; speedbar not on standard menus - '(["Speedbar" speedbar - :active (stringp (locate-library "speedbar"))])) '(["Complete Identifier" proof-script-complete t] ["Insert last output" pg-insert-last-output-as-comment proof-shell-last-output]) (list "-----") |