tuned;
authorwenzelm
Fri Mar 07 09:43:05 1997 +0100 (1997-03-07)
changeset 2743b001ec2b56e1
parent 2742 b70d7b032e62
child 2744 34993cdffbf7
tuned;
lib/scripts/isa-xterm
     1.1 --- a/lib/scripts/isa-xterm	Fri Mar 07 09:42:26 1997 +0100
     1.2 +++ b/lib/scripts/isa-xterm	Fri Mar 07 09:43:05 1997 +0100
     1.3 @@ -67,20 +67,19 @@
     1.4    exec xterm -T Isabelle -n Isabelle -geometry "$MAINGEOM" -e $ISABELLE $PASS "$@"
     1.5  else
     1.6    $ISATOOL installfonts
     1.7 -    exec xterm -T Isabelle -n Isabelle -geometry "$MAINGEOM" -fn isacr14 \
     1.8 -      -xrm "*fontMenu.Label: Isabelle fonts" \
     1.9 -      -xrm "*fontMenu*font1*Label: Large" \
    1.10 -      -xrm "*VT100*font1: isacb24" \
    1.11 -      -xrm "*fontMenu*font2*Label:" \
    1.12 -      -xrm "*VT100*font2:" \
    1.13 -      -xrm "*fontMenu*font3*Label:" \
    1.14 -      -xrm "*VT100*font3:" \
    1.15 -      -xrm "*fontMenu*font4*Label:" \
    1.16 -      -xrm "*VT100*font4:" \
    1.17 -      -xrm "*fontMenu*font5*Label:" \
    1.18 -      -xrm "*VT100*font5:" \
    1.19 -      -xrm "*fontMenu*font6*Label:" \
    1.20 -      -xrm "*VT100*font6:" \
    1.21 -      -e $ISABELLE -m symbols $PASS "$@"
    1.22 -  fi
    1.23 +  exec xterm -T Isabelle -n Isabelle -geometry "$MAINGEOM" -fn isacr14 \
    1.24 +    -xrm "*fontMenu.Label: Isabelle fonts" \
    1.25 +    -xrm "*fontMenu*font1*Label: Large" \
    1.26 +    -xrm "*VT100*font1: isacb24" \
    1.27 +    -xrm "*fontMenu*font2*Label:" \
    1.28 +    -xrm "*VT100*font2:" \
    1.29 +    -xrm "*fontMenu*font3*Label:" \
    1.30 +    -xrm "*VT100*font3:" \
    1.31 +    -xrm "*fontMenu*font4*Label:" \
    1.32 +    -xrm "*VT100*font4:" \
    1.33 +    -xrm "*fontMenu*font5*Label:" \
    1.34 +    -xrm "*VT100*font5:" \
    1.35 +    -xrm "*fontMenu*font6*Label:" \
    1.36 +    -xrm "*VT100*font6:" \
    1.37 +    -e $ISABELLE -m symbols $PASS "$@"
    1.38  fi