diff options
| author | David Aspinall | 2010-08-27 14:47:28 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-27 14:47:28 +0000 |
| commit | 3841c6b363b74d2fc214acd92041fa608d2e9913 (patch) | |
| tree | 45b1e15ac9ea7b040c3341bb05c43477f9a60665 /generic/proof-useropts.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-useropts.el')
| -rw-r--r-- | generic/proof-useropts.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el index de4011cd..f1019217 100644 --- a/generic/proof-useropts.el +++ b/generic/proof-useropts.el @@ -386,6 +386,11 @@ are distracting or too frequent." :set 'proof-set-value :group 'proof-user-options) +(defcustom proof-autosend-all nil + "*If non-nil, auto send will process whole buffer; otherwise just the next command." + :type 'boolean + :group 'proof-user-options) + (defcustom proof-fast-process-buffer (featurep 'ns) "*If non-nil, `proof-process-buffer' will use a busy wait to process. This results in faster processing, but disables simultaneous user interaction." |