From 37ed716144b0462cf3bc8741d9aaffde79347eaf Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Tue, 12 Feb 2002 18:52:01 +0000
Subject: option -g GEOMETRY;

---
 isar/interface | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'isar/interface')

diff --git a/isar/interface b/isar/interface
index 715f23bf..46c78a58 100644
--- a/isar/interface
+++ b/isar/interface
@@ -30,6 +30,7 @@ usage()
   echo "    -P BOOL      actually start Proof General (default true), otherwise"
   echo "                 run plain tty session"
   echo "    -X BOOL      configure the X-Symbol package on startup (default true)"
+  echo "    -g GEOMETRY  specify Emacs geometry"
   echo "    -k NAME      use specific isar-keywords for named logic"
   echo "    -l NAME      logic image name (default \$ISABELLE_LOGIC=$ISABELLE_LOGIC)"
   echo "    -m MODE      add print mode for output"
@@ -59,6 +60,7 @@ fail()
 
 ISABELLE_OPTIONS=""
 START_PG="true"
+GEOMETRY=""
 KEYWORDS=""
 LOGIC="$ISABELLE_LOGIC"
 PROGNAME="xemacs"
@@ -70,7 +72,7 @@ XSYMBOLSETUP=true
 getoptions()
 {
   OPTIND=1
-  while getopts "I:P:X:k:l:m:p:u:w:x:" OPT
+  while getopts "I:P:X:g:k:l:m:p:u:w:x:" OPT
   do
     case "$OPT" in
       I)
@@ -82,6 +84,9 @@ getoptions()
       X)
         XSYMBOLSETUP="$OPTARG"
         ;;
+      g)
+        GEOMETRY="$OPTARG"
+        ;;
       k)
         KEYWORDS="$OPTARG"
         ;;
@@ -173,6 +178,8 @@ else
 
   ARGS=""
 
+  [ -n "$GEOMETRY" ] && ARGS="$ARGS -geometry '$GEOMETRY'"
+
   [ "$INITFILE" = false ] && ARGS="$ARGS -q"
   
   if [ "$WINDOWSYSTEM" = true -a -n "$DISPLAY" ]; then
-- 
cgit v1.2.3