From bee0fafacc925e6eb21fa8c2b9547c911e37d45c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Jan 2008 12:47:21 +0000
Subject: Compilation tweaks

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

(limited to 'generic/pg-response.el')

diff --git a/generic/pg-response.el b/generic/pg-response.el
index 80713154..ee5bb9ba 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -54,7 +54,8 @@
   (erase-buffer)
   (buffer-disable-undo)
   (if proof-keep-response-history (bufhist-mode)) ; history for contents
-  (set-buffer-modified-p nil))
+  (set-buffer-modified-p nil)
+  (setq cursor-type nil))
 
 (proof-eval-when-ready-for-assistant ; proof-aux-menu depends on <PA>
     (easy-menu-define proof-response-mode-menu
-- 
cgit v1.2.3