From 347fafc730e5ee97957208f6d3fe79566da61da7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 30 Aug 2002 17:20:57 +0000
Subject: Tidy display

---
 generic/proof-utils.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 1ac5710e..0bf5e305 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -511,8 +511,8 @@ Ensure that point is visible in window."
 Auto deletion only affects selected frame.  (We assume that the selected
 frame is the one showing the script buffer.)"
   (with-current-buffer buffer
-    ;; NB: useful optional arg to erase buffer is XEmacs specific, 8-(.
     (erase-buffer)
+    (set-buffer-modified-p nil)
     (if (eq buffer proof-response-buffer)
 	(setq pg-response-next-error nil))	; all error msgs lost!
     (if proof-delete-empty-windows
-- 
cgit v1.2.3