diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-27 14:47:28 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-27 14:47:28 +0000 |
commit | 3841c6b363b74d2fc214acd92041fa608d2e9913 (patch) | |
tree | 45b1e15ac9ea7b040c3341bb05c43477f9a60665 /generic/proof-menu.el | |
parent | 15ccc9c78cf0bc4fb5d6ffa0e76d280d9638e99b (diff) |
Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e., automatic preview of next command)
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 32 |
1 files changed, 23 insertions, 9 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index f9a4bc07..81b31a06 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -316,15 +316,7 @@ without adjusting window layout." (defconst proof-quick-opts-menu (cons "Quick Options" - `(["Electric Terminator" proof-electric-terminator-toggle - :style toggle - :selected proof-electric-terminator-enable - :help "Automatically send commands as typed"] - ["Send Automatically" proof-autosend-toggle - :style toggle - :selected proof-autosend-enable - :help "Automatically send commands when idle"] - ["Fast Process Buffer" proof-fast-process-buffer-toggle + `(["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)"] @@ -355,6 +347,28 @@ without adjusting window layout." :style toggle :selected (not proof-shell-quiet-errors) :help "Beep on errors or interrupts"] + ("Auto Process" + ["Electric Terminator" proof-electric-terminator-toggle + :style toggle + :selected proof-electric-terminator-enable + :help "Automatically send commands when terminator typed"] + ["Process Automatically" proof-autosend-toggle + :style toggle + :selected proof-autosend-enable + :help "Automatically send commands when idle"] + ("Automatic Processing Mode" + ["Next Command" + (customize-set-variable 'proof-autosend-all nil) + :style radio + :selected (eq proof-autosend-all nil) + :active proof-autosend-enable + :help "Automatically try out the next commmand"] + ["Send Whole Buffer" + (customize-set-variable 'proof-autosend-all t) + :style radio + :selected (eq proof-autosend-all t) + :active proof-autosend-enable + :help "Automatically send the whole buffer"])) ("Display" ["Unicode Tokens" (proof-unicode-tokens-toggle (if (boundp 'unicode-tokens-mode) |