diff options
| author | David Aspinall | 2007-12-13 23:40:53 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-13 23:40:53 +0000 |
| commit | ef4542934dfc92fb82d8b8fb671dfe6aa9879bcc (patch) | |
| tree | 0e7a91ec4916eaae2af518af1e636083e227a9a8 | |
| parent | 8f9bcac45569eee3a4dd46cb37e1040d6751f333 (diff) | |
Add dynamic enable/disable function for proof-keep-response-history
| -rw-r--r-- | generic/proof-menu.el | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index c3ecb8c5..30794901 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -272,10 +272,14 @@ without adjusting window layout." (proof-deftoggle-fn (proof-ass-sym x-symbol-enable) 'proof-x-symbol-toggle) (proof-deftoggle-fn (proof-ass-sym maths-menu-enable) 'proof-maths-menu-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) +(defun proof-keep-response-history () + "Enable associated buffer histories following `proof-keep-response-history'." + (if proof-keep-response-history + (proof-map-buffers (proof-associated-buffers) (bufhist-init)) + (proof-map-buffers (proof-associated-buffers) (bufhist-exit)))) + ;; Here is the menu (defconst proof-quick-opts-menu |