--- a/lib/scripts/isa-xterm Wed Dec 04 13:18:26 1996 +0100
+++ b/lib/scripts/isa-xterm Wed Dec 04 17:02:02 1996 +0100
@@ -3,9 +3,6 @@
# $Id$
#
# Isabelle within an xterm.
-#
-# TODO:
-# - font menu (cf. isa-xterm from 8bit package)
## diagnostics
@@ -20,8 +17,22 @@
## main
if [ -z "$ISABELLE_SYMBOLS" -o "$ISABELLE_SYMBOLS" = false ]; then
- exec xterm $ISABELLE_INTERFACE_OPTIONS -e isabelle "$@"
+ exec xterm -T Isabelle -n Isabelle $ISABELLE_INTERFACE_OPTIONS -e isabelle "$@"
else
isatool installfonts
- exec xterm $ISABELLE_INTERFACE_OPTIONS -fn isacr14 -e isabelle -e 'print_mode:=["symbols"];' "$@"
+ exec xterm -T Isabelle -n Isabelle $ISABELLE_INTERFACE_OPTIONS -fn isacr14 \
+ -xrm "*fontMenu.Label: Isabelle fonts" \
+ -xrm "*fontMenu*font1*Label: Large" \
+ -xrm "*VT100*font1: isacb24" \
+ -xrm "*fontMenu*font2*Label:" \
+ -xrm "*VT100*font2:" \
+ -xrm "*fontMenu*font3*Label:" \
+ -xrm "*VT100*font3:" \
+ -xrm "*fontMenu*font4*Label:" \
+ -xrm "*VT100*font4:" \
+ -xrm "*fontMenu*font5*Label:" \
+ -xrm "*VT100*font5:" \
+ -xrm "*fontMenu*font6*Label:" \
+ -xrm "*VT100*font6:" \
+ -e isabelle -e 'print_mode:=["symbols"];' "$@"
fi