From 65b0b3f8afe365e726741b556be49eb016d0b78e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 24 May 2003 11:13:37 +0000
Subject: Add hint triggered when processing complete

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 87cf6d5c..7589ead4 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1108,6 +1108,9 @@ The return value is non-nil if the action list is now empty."
 	  (if (null proof-action-list)
 	      (progn (proof-release-lock)
 		     (proof-detach-queue)
+		     ;; give a hint to the user in case we've finished
+		     ;; a batch of input
+		     (pg-processing-complete-hint)
 		     ;; indicate finished
 		     t)
 	    ;; Otherwise, send the next command to the process.
-- 
cgit v1.2.3