From c7b40f33e0f02b902e129ace1c6ed83795a7dc85 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 4 Sep 2009 17:25:10 +0000
Subject: Define a cleanup function to run intermittently or by hand, avoiding
 pg-remove-specials.

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

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index cc41b123..e2928866 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1470,11 +1470,6 @@ is only changed when input is sent in `proof-shell-insert'."
 		      (setq proof-shell-expecting-output nil)
 		      ;; Process output string.
 		      (proof-shell-filter-manage-output string)
-		      ;; Cleanup shell buffer
-		      (unless proof-general-debug
-			(pg-remove-specials (min (point-max)
-						 prev-prompt) 
-					    (point-max)))
 		      )))
 	    (if proof-shell-busy
 		;; internal error recovery:
@@ -1483,6 +1478,11 @@ is only changed when input is sent in `proof-shell-insert'."
 		   "proof-shell-filter found empty action list yet proof shell busy.")
 		  (proof-release-lock))))))))
 
+(defun proof-shell-cleanup ()
+  "Run intermittently to clean up the shell buffer."
+  (interactive)
+  (pg-remove-specials (point-min) (point-max)))
+
 (defun proof-shell-process-urgent-messages ()
   "Scan the shell buffer for urgent messages.
 Scanning starts from `proof-shell-urgent-message-scanner' or
-- 
cgit v1.2.3