diff options
| -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 |