diff -r 7621a3b42ce7 -r 9444489766a1 Admin/MacOS/Info.plist-part2
--- a/Admin/MacOS/Info.plist-part2	Fri Jun 27 00:21:11 2014 +0100
+++ b/Admin/MacOS/Info.plist-part2	Fri Jun 27 11:30:42 2014 +0200
@@ -1,4 +1,5 @@
 <string>-Disabelle.home=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string>
+<string>-Disabelle.app=true</string>
 </array>
 <key>JVMArguments</key>
 <array>