diff options
| -rw-r--r-- | generic/pg-user.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index 66e3a979..d884594c 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -1434,7 +1434,8 @@ assuming the undo-in-region behavior will apply if ARG is non-nil." (defun proof-autosend-loop () (proof-with-current-buffer-if-exists proof-script-buffer - (unless (proof-locked-region-full-p) + (unless (or (proof-locked-region-full-p) + proof-shell-busy) (proof-autosend-loop-all)))) (defun proof-autosend-loop-all () |