[gui] changing the splash screen

KeYProject · Feb 18, 2015 · 22bebe6 · 22bebe6
1 parent aa660d6
commit 22bebe6
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 2 deletions.
diff --git a/bin/key b/bin/key
@@ -250,5 +250,5 @@ $JAVA $JAVA_OPTIONS $keysysprops \
 -ea:de.uka.ilkd.key... $javaOptionXms $javaOptionXmx \
 -Dkey.home="$KEY_HOME" \
 -Dsun.awt.exception.handler=de.uka.ilkd.key.gui.ExceptionalHandler \
--splash:"$KEY_HOME/system/resources/de/uka/ilkd/key/gui/images/key22.gif" \
+-splash:"$KEY_HOME/system/resources/de/uka/ilkd/key/gui/images/key-splash.png" \
 -classpath "$keyclasspath" de.uka.ilkd.key.core.Main "$@"
diff --git a/system/resources/de/uka/ilkd/key/gui/images/key-splash.png b/system/resources/de/uka/ilkd/key/gui/images/key-splash.png
diff --git a/system/resources/de/uka/ilkd/key/gui/images/key22.gif b/system/resources/de/uka/ilkd/key/gui/images/key22.gif
diff --git a/system/src/de/uka/ilkd/key/gui/IconFactory.java b/system/src/de/uka/ilkd/key/gui/IconFactory.java
@@ -41,7 +41,7 @@ private IconFactory() {}
     private static Image keyHoleClosed       = getImage("images/keyproved.gif");
     private static Image keyHoleInteractive     = getImage("images/keyinteractive.gif");
     private static Image keyLogo             = getImage("images/key-color.gif");
-    private static Image keyLogo22 = getImage("images/key22.gif");
+    private static Image keyLogo22 = getImage("images/key-splash.png");
     private static Image keyLogoSmall        = getImage("images/key-color-icon-square.png");
     private static Icon provedFolderIcon     = KeYFolderIcon.getKeYFolderIconClosed();
     private static Icon closableFolderIcon   = KeYFolderIcon.getKeYFolderIconClosable();