diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2006-09-24 15:05:35 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2006-09-24 15:05:35 +0000 |
commit | c564bc93d68696dd6b1dc44933e23c1d24656e94 (patch) | |
tree | c890d44e7944433bdfd2b7afedde3674e37f086e /generic/proof-menu.el | |
parent | a744114658a01e46f16eec510e313b72da532aa0 (diff) |
Add buffer history browsing
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 31b1c965..0a7533a6 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -270,6 +270,9 @@ without adjusting window layout." (proof-deftoggle-fn (proof-ass-sym x-symbol-enable) 'proof-x-symbol-toggle) (proof-deftoggle-fn (proof-ass-sym mmm-enable) 'proof-mmm-toggle) +;; TODO (low priority): add dynamic enable-disable +(proof-deftoggle proof-keep-response-history) + ;; Here is the menu (defconst proof-quick-opts-menu @@ -317,6 +320,11 @@ without adjusting window layout." (eq proof-buffer-type 'script)) :style toggle :selected proof-toolbar-enable] + + ["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 @@ -391,6 +399,7 @@ without adjusting window layout." (proof-ass-sym x-symbol-enable) (proof-ass-sym mmm-enable) 'proof-toolbar-enable + 'proof-keep-response-history 'proof-imenu-enable ;; Display sub-menu 'proof-three-window-enable |