--- a/lib/scripts/isa-xterm Tue Mar 11 16:38:23 1997 +0100
+++ b/lib/scripts/isa-xterm Tue Mar 11 16:38:53 1997 +0100
@@ -2,7 +2,7 @@
#
# $Id$
#
-# Isabelle within an xterm.
+# Simple Isabelle interface based on xterm.
## diagnostics
@@ -16,6 +16,7 @@
echo
echo " Options are:"
echo " -g GEOM main window geometry (default 80x60)"
+ echo " -h MODE highlight mode, may be false, bold (default), color"
echo " -p TEXT pass text (options etc.) to isabelle session"
echo " -s BOOL symbolic font output? (default true)"
echo
@@ -37,15 +38,19 @@
# options
MAINGEOM="80x60"
+HILITE=bold
PASS=""
SYMBOLS="true"
-while getopts "g:p:s:" OPT
+while getopts "g:h:p:s:" OPT
do
case "$OPT" in
g)
MAINGEOM="$OPTARG"
;;
+ h)
+ HILITE="$OPTARG"
+ ;;
p)
PASS="$PASS $OPTARG"
;;
@@ -63,6 +68,14 @@
## main
+if [ "$HILITE" = bold ]; then
+ PASS="-m xterm $PASS"
+elif [ "$HILITE" = color ]; then
+ PASS="-m xterm_color $PASS"
+elif [ -n "$HILITE" -a "$HILITE" != false ]; then
+ echo "WARNING: unknown highlight mode '$HILITE'" >&2
+fi
+
if [ -z "$SYMBOLS" -o "$SYMBOLS" = false ]; then
exec xterm -T Isabelle -n Isabelle -geometry "$MAINGEOM" -e $ISABELLE $PASS "$@"
else