# 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"