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.

1 files changed, 11 insertions, 2 deletions

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