diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-15 22:56:44 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-15 22:56:44 +0000 |
commit | d7e3d5613783150fc69ee02e87fab1fafdfd8b6a (patch) | |
tree | 5b8b24539ddb098bbee7ed179060672617205fc2 /generic/proof-menu.el | |
parent | 1f813ce63369aa520d38e3152a1013d1f97c7024 (diff) |
Preliminary and experimental support for automatically sending commands.
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 7ab7a3ae..4c98435e 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -135,6 +135,7 @@ without adjusting window layout." (define-key map [(control meta down)] 'pg-move-region-down) ;; (define-key map [(control c) ?b] 'proof-toolbar-toggle) + (define-key map [(control c) ?>] 'proof-autosend-toggle) ;; Add the universal keys bound in all PG buffers. ;; NB: C-c ` is next-error in universal-keys (proof-define-keys map proof-universal-keys)) @@ -291,12 +292,12 @@ without adjusting window layout." (proof-deftoggle proof-sticky-errors) (proof-deftoggle proof-shell-quiet-errors) (proof-deftoggle proof-minibuffer-messages) -(proof-deftoggle proof-autosend) - -(proof-deftoggle-fn 'proof-imenu-enable 'proof-imenu-toggle) +(proof-deftoggle proof-autosend-enable proof-autosend-toggle) +(proof-deftoggle proof-imenu-enable proof-imenu-toggle) (proof-deftoggle proof-keep-response-history) (proof-eval-when-ready-for-assistant + ;; togglers for settings separately configurable per-prover (proof-deftoggle-fn (proof-ass-sym unicode-tokens-enable) 'proof-unicode-tokens-toggle) (proof-deftoggle-fn @@ -318,6 +319,10 @@ without adjusting window layout." :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"] ["Fly Past Comments" proof-script-fly-past-comments-toggle :style toggle :selected proof-script-fly-past-comments @@ -505,6 +510,7 @@ without adjusting window layout." "Return a list of the quick option variables." (list 'proof-electric-terminator-enable + 'proof-autosend-enable 'proof-script-fly-past-comments 'proof-disappearing-proofs 'proof-full-annotation |