From 9b6a1406ab83c50df29933b8061b53d060b45e96 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 14 Feb 2006 16:09:21 +0000
Subject: Revert use of 'raw-text for coding-system-for-read/write since it
 changes behaviour in at least one Emacs version, causing PG to hang.

---
 generic/proof-shell.el | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index c86c9dea..b42cb310 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -326,8 +326,17 @@ Does nothing if proof assistant is already running."
 	    ;; end-of-line conversion (hence `raw-text').
 	    ;; It is also the only sensible choice since we make the buffer
 	    ;; unibyte below.
-	    (coding-system-for-read (if proof-shell-unicode 'utf-8 'raw-text))
-	    (coding-system-for-write (if proof-shell-unicode 'utf-8 'raw-text)))
+	    (coding-system-for-read
+	     (if proof-shell-unicode 'utf-8 
+	       ;; was: 'raw-text
+	       ;; da: Unfortunately 'raw-text causes hangs with some Emacs,
+	       ;; since we get something not as raw as it was otherwise;
+	       ;; so leave it as it is, please
+	       coding-system-for-read))
+	    (coding-system-for-write 
+	     (if proof-shell-unicode 'utf-8 
+	       ;; was: 'raw-text
+	       coding-system-for-write)))
 
 	;; An improvement here might be to catch failure of
 	;; make-comint and then kill off the buffer.  Then we
-- 
cgit v1.2.3