From 067e0aebc6d76b64888f6757ac4231e34a29a4b9 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 1 Sep 2010 15:31:58 +0000 Subject: [PATCH] Icon location bugfix for Mac Dock. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2067 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/bin/prism.darwin | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/bin/prism.darwin b/prism/src/bin/prism.darwin index 8e3c1ecf..c024b3f3 100755 --- a/prism/src/bin/prism.darwin +++ b/prism/src/bin/prism.darwin @@ -58,7 +58,7 @@ if [ "$PRISM_HEADLESS" = "" ]; then PRISM_HEADLESS=true fi -ICON_OPTION="-Xdock:name=PRISM -Xdock:icon=$PRISM_DIR/etc/p64.png" +ICON_OPTION="-Xdock:name=PRISM -Xdock:icon=$PRISM_DIR/etc/icons/p64.png" # Run PRISM through Java "$PRISM_JAVA" $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $ICON_OPTION -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path=$PRISM_DIR/lib -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"