From 6590017aedb5ce046d952fa5a1b9dab1f5bf364d Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Thu, 27 Jan 2011 19:54:20 +0000
Subject: added option -f FONT;

---
 isar/interface | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'isar')

diff --git a/isar/interface b/isar/interface
index 7df483fa..16d7d567 100644
--- a/isar/interface
+++ b/isar/interface
@@ -21,6 +21,7 @@ usage()
   echo "  Options are:"
   echo "    -L NAME      abbreviates -l NAME -k NAME"
   echo "    -U BOOL      enable UTF-8 communication (default true)"
+  echo "    -f FONT      specify Emacs font"
   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)"
@@ -54,6 +55,7 @@ ISABELLE_OPTIONS=""
 KEYWORDS=""
 LOGIC="$ISABELLE_LOGIC"
 UNICODE=""
+FONT=""
 GEOMETRY=""
 PROGNAME="emacs"
 INITFILE="true"
@@ -63,7 +65,7 @@ UNICODE_SYMBOLS=""
 getoptions()
 {
   OPTIND=1
-  while getopts "L:U:g:k:l:m:p:u:w:x:" OPT
+  while getopts "L:U:f:g:k:l:m:p:u:w:x:" OPT
   do
     case "$OPT" in
       L)
@@ -73,6 +75,9 @@ getoptions()
       U)
         UNICODE="$OPTARG"
         ;;
+      f)
+        FONT="$OPTARG"
+        ;;
       g)
         GEOMETRY="$OPTARG"
         ;;
@@ -133,6 +138,11 @@ fi
 
 declare -a ARGS=()
 
+if [ -n "$FONT" ]; then
+  ARGS["${#ARGS[@]}"]="-fn"
+  ARGS["${#ARGS[@]}"]="$FONT"
+fi
+
 if [ -n "$GEOMETRY" ]; then
   ARGS["${#ARGS[@]}"]="-geometry"
   ARGS["${#ARGS[@]}"]="$GEOMETRY"
-- 
cgit v1.2.3