diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-19 11:09:08 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-19 11:09:08 +0000 |
commit | 5e56cfc4cc792dfad7dcb578fdccc48ba0196851 (patch) | |
tree | 9aa1d6a20196a236e4b2ab28e6841d756a2a95ca /generic/proof-menu.el | |
parent | ed11ccb7b647582296c0ddd8023f180ad591e15b (diff) |
Add Fast Process Buffer option
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 4c98435e..71e38c18 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -293,6 +293,7 @@ without adjusting window layout." (proof-deftoggle proof-shell-quiet-errors) (proof-deftoggle proof-minibuffer-messages) (proof-deftoggle proof-autosend-enable proof-autosend-toggle) +(proof-deftoggle proof-fast-process-buffer) (proof-deftoggle proof-imenu-enable proof-imenu-toggle) (proof-deftoggle proof-keep-response-history) @@ -323,6 +324,10 @@ without adjusting window layout." :style toggle :selected proof-autosend-enable :help "Automatically send commands when idle"] + ["Fast Process Buffer" proof-fast-process-buffer-toggle + :style toggle + :selected proof-fast-process-buffer + :help "Use a fast loop when processing whole buffer (disables input)"] ["Fly Past Comments" proof-script-fly-past-comments-toggle :style toggle :selected proof-script-fly-past-comments @@ -511,6 +516,7 @@ without adjusting window layout." (list 'proof-electric-terminator-enable 'proof-autosend-enable + 'proof-fast-process-buffer 'proof-script-fly-past-comments 'proof-disappearing-proofs 'proof-full-annotation |