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-config.el | |
| parent | a744114658a01e46f16eec510e313b72da532aa0 (diff) | |
Add buffer history browsing
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 09c32a7d..4dd81147 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -303,6 +303,15 @@ Otherwise the response buffer will accumulate output from the prover." :type 'boolean :group 'proof-user-options) +(defcustom proof-keep-response-history + nil + "*Whether to keep a browsable history of responses. +With this feature enabled, the buffers used for prover responses will have a +history that can be browsed without processing/undoing in the prover. +(Changes to this variable take effect after restarting the prover)." + :type 'boolean + :group 'proof-user-options) + (defcustom proof-show-debug-messages nil "*Whether to display debugging messages in the response buffer. If non-nil, debugging messages are displayed in the response giving |