diff options
| -rw-r--r-- | generic/pg-user.el | 7 | ||||
| -rw-r--r-- | generic/proof-menu.el | 6 | ||||
| -rw-r--r-- | generic/proof-useropts.el | 6 |
3 files changed, 17 insertions, 2 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index d884594c..60ba77b1 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -194,8 +194,11 @@ If inside a comment, just process until the start of the comment." (save-excursion (goto-char (point-max)) (proof-assert-until-point-interactive)) - (proof-maybe-follow-locked-end))) - + (proof-maybe-follow-locked-end)) + (when proof-fast-process-buffer + (message "Processing buffer...") + (proof-shell-wait) + (message "Processing buffer...done"))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; 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 diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el index 5bd050dd..10e61c86 100644 --- a/generic/proof-useropts.el +++ b/generic/proof-useropts.el @@ -386,6 +386,12 @@ are distracting or too frequent." :set 'proof-set-value :group 'proof-user-options) +(defcustom proof-fast-process-buffer nil + "*If non-nil, `proof-process-buffer' will use a busy wait to process. +This results in faster processing, but disables user interaction." + :type 'boolean + :group 'proof-user-options) + (provide 'proof-useropts) |