From 0139048d79b62b09128eabbaacd2168d32c3ae73 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 23 Mar 2005 09:56:54 +0000
Subject: Changes from Clemens Ballarin for large X-Symbol fonts

---
 isa/interface | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'isa/interface')

diff --git a/isa/interface b/isa/interface
index 9f2d33a6..73e51d47 100644
--- a/isa/interface
+++ b/isa/interface
@@ -30,6 +30,7 @@ usage()
   echo "    -P BOOL      actually start Proof General (default true), otherwise"
   echo "                 run plain tty session"
   echo "    -X BOOL      configure the X-Symbol package on startup (default true)"
+  echo "    -f SIZE      set X-Symbol font size (default 14)"
   echo "    -g GEOMETRY  specify Emacs geometry"
   echo "    -k NAME      use specific isar-keywords for named logic"
   echo "    -l NAME      logic image name (default \$ISABELLE_LOGIC=$ISABELLE_LOGIC)"
@@ -68,11 +69,12 @@ INITFILE="true"
 WINDOWSYSTEM="true"
 XSYMBOL=""
 XSYMBOLSETUP=true
+XSYMBOL_FONTSIZE="12"
 
 getoptions()
 {
   OPTIND=1
-  while getopts "I:P:X:g:k:l:m:p:u:w:x:" OPT
+  while getopts "I:P:X:f:g:k:l:m:p:u:w:x:" OPT
   do
     case "$OPT" in
       I)
@@ -84,6 +86,9 @@ getoptions()
       X)
         XSYMBOLSETUP="$OPTARG"
         ;;
+      f)
+        XSYMBOL_FONTSIZE="$OPTARG"
+        ;;
       g)
         GEOMETRY="$OPTARG"
         ;;
@@ -229,7 +234,7 @@ else
   PROOFGENERAL_XSYMBOL="$XSYMBOL"
   
   export PROOFGENERAL_HOME PROOFGENERAL_ASSISTANTS PROOFGENERAL_LOGIC PROOFGENERAL_XSYMBOL
-  export ISABELLE_OPTIONS
+  export ISABELLE_OPTIONS XSYMBOL_FONTSIZE
   
   eval exec "$PROGNAME" "$ARGS" "$FILES"
 
-- 
cgit v1.2.3