diff -r 67bf78c7c725 -r 491e8d4b8fad lib/scripts/isa-xterm
--- 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