1.1 --- a/lib/scripts/isa-xterm	Mon Mar 27 21:41:19 2000 +0200
     1.2 +++ b/lib/scripts/isa-xterm	Tue Mar 28 11:50:23 2000 +0200
     1.3 @@ -15,6 +15,7 @@
     1.4    echo "Usage: $PRG [OPTIONS] [--] [CMDLINE]"
     1.5    echo
     1.6    echo "  Options are:"
     1.7 +  echo "    -I           startup Isar interaction mode"
     1.8    echo "    -g GEOM      main window geometry (default 80x60)"
     1.9    echo "    -h MODE      highlight mode, may be false, bold (default), color"
    1.10    echo "    -m MODE      pass print mode"
    1.11 @@ -51,9 +52,12 @@
    1.12  function getoptions()
    1.13  {
    1.14    OPTIND=1
    1.15 -  while getopts "g:h:m:p:s:x:" OPT
    1.16 +  while getopts "Ig:h:m:p:s:x:" OPT
    1.17    do
    1.18      case "$OPT" in
    1.19 +      I)
    1.20 +        PASS="$PASS -I"
    1.21 +        ;;
    1.22        g)
    1.23          MAINGEOM="$OPTARG"
    1.24          ;;