From e97fb61584676a0c7d4fd816df9697fe8a941754 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Mon, 4 Jun 2012 20:16:04 +0000
Subject: hide cursor in non-selected *goals* and *response* buffers

---
 generic/pg-goals.el    | 2 +-
 generic/pg-response.el | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/generic/pg-goals.el b/generic/pg-goals.el
index ecb5ce74..5270ae3d 100644
--- a/generic/pg-goals.el
+++ b/generic/pg-goals.el
@@ -39,7 +39,7 @@ May enable proof-by-pointing or similar features.
   (buffer-disable-undo)
   (if proof-keep-response-history (bufhist-mode)) ; history for contents
   (set-buffer-modified-p nil)
-  (setq cursor-type 'bar))
+  (setq cursor-in-non-selected-windows nil))
 
 ;;
 ;; Menu for goals buffer
diff --git a/generic/pg-response.el b/generic/pg-response.el
index 6ee58713..9edead81 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -51,7 +51,7 @@
   (if proof-keep-response-history (bufhist-mode)) ; history for contents
   (set-buffer-modified-p nil)
   (setq buffer-read-only t)
-  (setq cursor-type 'bar))
+  (setq cursor-in-non-selected-windows nil))
 
 ;;
 ;; Menu for response buffer
-- 
cgit v1.2.3