# HG changeset patch # User wenzelm # Date 1315763529 -7200 # Node ID 9fb612890ad9ae28bc4d21637d41ee1d42ba7a21 # Parent 3b6613366dd79b8f95d78c9c86476775491d0c7d explicit choice of interface; diff -r 3b6613366dd7 -r 9fb612890ad9 Admin/MacOS/App1/README --- a/Admin/MacOS/App1/README Sun Sep 11 17:30:01 2011 +0200 +++ b/Admin/MacOS/App1/README Sun Sep 11 19:52:09 2011 +0200 @@ -3,7 +3,7 @@ Requirements: -* CocoaDialog 2.2.1 http://cocoadialog.sourceforge.net/ +* CocoaDialog 2.1.1 http://cocoadialog.sourceforge.net/ * Platypus 4.0 http://www.sveinbjorn.org/platypus diff -r 3b6613366dd7 -r 9fb612890ad9 Admin/MacOS/App1/script --- a/Admin/MacOS/App1/script Sun Sep 11 17:30:01 2011 +0200 +++ b/Admin/MacOS/App1/script Sun Sep 11 19:52:09 2011 +0200 @@ -73,9 +73,20 @@ OUTPUT="/tmp/isabelle$$.out" -# ( "$ISABELLE_TOOL" jedit "$@" ) > "$OUTPUT" 2>&1 -( "$ISABELLE_TOOL" emacs "${EMACS_OPTIONS[@]}" "$@" ) > "$OUTPUT" 2>&1 -RC=$? +declare -a CHOICE +CHOICE=($("$THIS/CocoaDialog.app/Contents/MacOS/CocoaDialog" dropdown \ + --title Isabelle \ + --text "Which Isabelle interface?" \ + --items "Emacs / Proof General" "Isabelle/jEdit PIDE" \ + --button1 "OK")) + +if [ "${CHOICE[1]}" = 0 ]; then + ( "$ISABELLE_TOOL" emacs "${EMACS_OPTIONS[@]}" "$@" ) > "$OUTPUT" 2>&1 + RC=$? +else + ( "$ISABELLE_TOOL" jedit "$@" ) > "$OUTPUT" 2>&1 + RC=$? +fi if [ "$RC" != 0 ]; then echo >> "$OUTPUT"