--- a/Admin/ProofGeneral/4.1/interface Thu Jan 27 20:48:53 2011 +0100
+++ b/Admin/ProofGeneral/4.1/interface Thu Jan 27 20:50:58 2011 +0100
@@ -1,7 +1,5 @@
#!/usr/bin/env bash
#
-# $Id: interface,v 11.0 2010/10/10 22:57:07 da Exp $
-#
# Proof General interface wrapper for Isabelle.
@@ -21,6 +19,7 @@
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 +53,7 @@
KEYWORDS=""
LOGIC="$ISABELLE_LOGIC"
UNICODE=""
+FONT=""
GEOMETRY=""
PROGNAME="emacs"
INITFILE="true"
@@ -63,7 +63,7 @@
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 +73,9 @@
U)
UNICODE="$OPTARG"
;;
+ f)
+ FONT="$OPTARG"
+ ;;
g)
GEOMETRY="$OPTARG"
;;
@@ -133,6 +136,11 @@
declare -a ARGS=()
+if [ -n "$FONT" ]; then
+ ARGS["${#ARGS[@]}"]="-fn"
+ ARGS["${#ARGS[@]}"]="$FONT"
+fi
+
if [ -n "$GEOMETRY" ]; then
ARGS["${#ARGS[@]}"]="-geometry"
ARGS["${#ARGS[@]}"]="$GEOMETRY"