From fc1c3f61737da67ff63532d5c201d16e455e8af2 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 19 Jul 2005 16:24:26 +0000
Subject: tuned;

---
 isa/interface  | 10 +++-------
 isar/interface | 10 +++-------
 2 files changed, 6 insertions(+), 14 deletions(-)

diff --git a/isa/interface b/isa/interface
index 6d61243b..a8821897 100644
--- a/isa/interface
+++ b/isa/interface
@@ -69,7 +69,7 @@ PROGNAME="xemacs"
 INITFILE="true"
 WINDOWSYSTEM="true"
 XSYMBOL=""
-XSYMBOLSETUP=true
+XSYMBOL_SETUP=true
 XSYMBOL_FONTSIZE="12"
 
 getoptions()
@@ -89,7 +89,7 @@ getoptions()
         START_PG="$OPTARG"
         ;;
       X)
-        XSYMBOLSETUP="$OPTARG"
+        XSYMBOL_SETUP="$OPTARG"
         ;;
       f)
         XSYMBOL_FONTSIZE="$OPTARG"
@@ -193,16 +193,12 @@ else
   [ "$INITFILE" = false ] && ARGS="$ARGS -q"
   
   if [ "$WINDOWSYSTEM" = true -a -n "$DISPLAY" ]; then
-    #ARGS="$ARGS -T Isabelle"
-    [ -n "$XSYMBOL_INSTALLFONTS" -a "$XSYMBOLSETUP" = true ] && installfonts
+    [ -n "$XSYMBOL_INSTALLFONTS" -a "$XSYMBOL_SETUP" = true ] && installfonts
   else
     ARGS="$ARGS -nw"
     XSYMBOL=false
   fi
   
-  [ ! "$XSYMBOLSETUP" = true ] && XSYMBOL_HOME=""
-  
-  
   ARGS="$ARGS -l '$SUPER/isa/interface-setup.el'"
 
   if [ -n "$KEYWORDS" ]; then
diff --git a/isar/interface b/isar/interface
index 6d61243b..a8821897 100644
--- a/isar/interface
+++ b/isar/interface
@@ -69,7 +69,7 @@ PROGNAME="xemacs"
 INITFILE="true"
 WINDOWSYSTEM="true"
 XSYMBOL=""
-XSYMBOLSETUP=true
+XSYMBOL_SETUP=true
 XSYMBOL_FONTSIZE="12"
 
 getoptions()
@@ -89,7 +89,7 @@ getoptions()
         START_PG="$OPTARG"
         ;;
       X)
-        XSYMBOLSETUP="$OPTARG"
+        XSYMBOL_SETUP="$OPTARG"
         ;;
       f)
         XSYMBOL_FONTSIZE="$OPTARG"
@@ -193,16 +193,12 @@ else
   [ "$INITFILE" = false ] && ARGS="$ARGS -q"
   
   if [ "$WINDOWSYSTEM" = true -a -n "$DISPLAY" ]; then
-    #ARGS="$ARGS -T Isabelle"
-    [ -n "$XSYMBOL_INSTALLFONTS" -a "$XSYMBOLSETUP" = true ] && installfonts
+    [ -n "$XSYMBOL_INSTALLFONTS" -a "$XSYMBOL_SETUP" = true ] && installfonts
   else
     ARGS="$ARGS -nw"
     XSYMBOL=false
   fi
   
-  [ ! "$XSYMBOLSETUP" = true ] && XSYMBOL_HOME=""
-  
-  
   ARGS="$ARGS -l '$SUPER/isa/interface-setup.el'"
 
   if [ -n "$KEYWORDS" ]; then
-- 
cgit v1.2.3