From 0309ccee40311b5684a79bcd5b3732a3aadc3952 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 9 Feb 2000 19:41:59 +0000
Subject: Added proof-shell-pre-interrupt-hook

---
 generic/proof-script.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 982de20e..ce97d623 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1790,7 +1790,8 @@ handling of interrupt signals."
   (with-current-buffer proof-shell-buffer
     ;; Just send an interrrupt.  
     ;; Action on receiving one is triggered in proof-shell
-    (comint-interrupt-subjob)))
+    (comint-interrupt-subjob)
+    (run-hooks 'proof-shell-pre-interrupt-hook)))
   
 
 ;;
-- 
cgit v1.2.3