diff options
| -rw-r--r-- | generic/pg-user.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index 80794058..a9807988 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -18,7 +18,7 @@ (require 'span) (require 'proof) ; loader (require 'proof-script) ; we build on proof-script -(require 'comint) ; comint-interrupt-subjob +(require 'comint) ; comint-interrupt-subjob/comint-ptyp (eval-when-compile (require 'completion)) ; loaded dynamically at runtime @@ -161,9 +161,9 @@ handling of interrupt signals." (unless proof-shell-busy (error "Proof Process Not Active!")) (with-current-buffer proof-shell-buffer - ;; Just send an interrrupt. - ;; Action on receiving one is triggered in proof-shell - (comint-interrupt-subjob) + ;; Send send an interrrupt, without comint-skip-input effect. + ;; Interrupt is processed inside proof-shell. + (interrupt-process nil comint-ptyp) (run-hooks 'proof-shell-pre-interrupt-hook))) |