From d1f290c8bbe72b5d4a50733e961806fa286b7f6d Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 14 Sep 2005 19:11:46 +0000
Subject: observe PROOFGENERAL_UNICODE as passed by interface script;

---
 isa/interface-setup.el | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/isa/interface-setup.el b/isa/interface-setup.el
index 62a05dd6..e9dddb31 100644
--- a/isa/interface-setup.el
+++ b/isa/interface-setup.el
@@ -10,9 +10,9 @@
 ;; interface-setup.el,v 7.0 2002/08/29 09:14:03 da Exp
 ;;
 
-;;;
-;;; X-Symbol
-;;;
+;;
+;; X-Symbol
+;;
 
 (let ((xsymbol (getenv "PROOFGENERAL_XSYMBOL"))
       (enable-var (if (equal (getenv "PROOFGENERAL_ASSISTANTS") "isa")
@@ -27,6 +27,14 @@
       (customize-set-variable enable-var (equal xsymbol "true"))))
 
 
+;;
+;; Unicode
+;;
+
+(let ((unicode (getenv "PROOFGENERAL_UNICODE")))
+  (if (and unicode (not (equal unicode "")))
+      (customize-set-variable enable-var (equal unicode "true"))))
+
 ;;
 ;; Proof General
 ;;
-- 
cgit v1.2.3