diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-03-23 09:56:54 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-03-23 09:56:54 +0000 |
| commit | 0139048d79b62b09128eabbaacd2168d32c3ae73 (patch) | |
| tree | 5b312fbca8c5bf44d8ddaef928dca4fa7ffea608 | |
| parent | 12b1ef20eea3e37763447be6d13a7467584c7d35 (diff) | |
Changes from Clemens Ballarin for large X-Symbol fonts
| -rw-r--r-- | isa/interface | 9 |
1 files changed, 7 insertions, 2 deletions
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" |