From ef4542934dfc92fb82d8b8fb671dfe6aa9879bcc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 13 Dec 2007 23:40:53 +0000
Subject: Add dynamic enable/disable function for proof-keep-response-history

---
 generic/proof-menu.el | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'generic')

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
-- 
cgit v1.2.3