From d7e3d5613783150fc69ee02e87fab1fafdfd8b6a Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 15 Aug 2010 22:56:44 +0000 Subject: Preliminary and experimental support for automatically sending commands. --- generic/proof-menu.el | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) (limited to 'generic/proof-menu.el') 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 -- cgit v1.2.3