From 6d6a2b2577a7c0f9deb7fdee64855c151b0ec625 Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Wed, 14 Sep 2005 19:11:44 +0000 Subject: refer to proof-shell-unicode for process-environment and coding-system; --- generic/proof-shell.el | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/generic/proof-shell.el b/generic/proof-shell.el index c2d59488..1c690f1c 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -310,7 +310,7 @@ Does nothing if proof assistant is already running." ;; it's not enough to alter process-environment to effect ;; a locale change. In bash, LANG=x works though. (process-environment - (if (not proof-shell-wakeup-char) ;; if specials not used, + (if proof-shell-unicode ;; if specials not used, process-environment ;; leave it alone (cons (if (getenv "LANG") @@ -325,7 +325,8 @@ 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 'raw-text)) + (coding-system-for-read (if proof-shell-unicode 'utf-8 'raw-text)) + (coding-system-for-write (if proof-shell-unicode 'utf-8 'raw-text))) ;; An improvement here might be to catch failure of ;; make-comint and then kill off the buffer. Then we -- cgit v1.2.3