diff options
| -rw-r--r-- | src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java | 4 | ||||
| -rw-r--r-- | src/JavaGUI2/gf-icon.gif | bin | 0 -> 798 bytes | |||
| -rw-r--r-- | src/JavaGUI2/gf-logo-64.gif | bin | 1513 -> 0 bytes | |||
| -rw-r--r-- | src/Makefile | 2 |
4 files changed, 3 insertions, 3 deletions
diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java index a43165d5f..5f3bc0a59 100644 --- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java +++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java @@ -468,10 +468,10 @@ KeyListener, FocusListener { this.commandPath = gfcmd;
Image icon = null;
try {
- final URL iconURL = ClassLoader.getSystemResource("gf-logo-64.gif");
+ final URL iconURL = ClassLoader.getSystemResource("gf-icon.gif");
icon = Toolkit.getDefaultToolkit().getImage(iconURL);
} catch (NullPointerException npe) {
- logger.info("gf-logo-64.gif could not be found.\n" + npe.getLocalizedMessage());
+ logger.info("gf-icon.gif could not be found.\n" + npe.getLocalizedMessage());
}
initializeGUI(baseURL, isHtml, icon);
initializeGF(gfcmd, null);
diff --git a/src/JavaGUI2/gf-icon.gif b/src/JavaGUI2/gf-icon.gif Binary files differnew file mode 100644 index 000000000..5e8863d76 --- /dev/null +++ b/src/JavaGUI2/gf-icon.gif diff --git a/src/JavaGUI2/gf-logo-64.gif b/src/JavaGUI2/gf-logo-64.gif Binary files differdeleted file mode 100644 index 041cca41e..000000000 --- a/src/JavaGUI2/gf-logo-64.gif +++ /dev/null diff --git a/src/Makefile b/src/Makefile index d51a921d5..52bff9a33 100644 --- a/src/Makefile +++ b/src/Makefile @@ -119,7 +119,7 @@ javac: jar: javac cd JavaGUI; $(JAR) -cmf manifest.txt gf-java.jar *.class ; cd .. - cd $(GFEDITOR) ; rm -rf jarcontents ; mkdir jarcontents ; cp -r de/ ManifestMain.txt ../../LICENSE LICENCE_jargs gf-logo-64.gif jarcontents ; cat jargs-1.0.jar | (cd jarcontents; jar -x jargs) ; cd jarcontents ; $(JAR) -cmf ManifestMain.txt ../gfeditor.jar de/uka/ilkd/key/ocl/gf/*.class jargs LICENSE LICENCE_jargs gf-logo-64.gif ; cd .. ; cd .. + cd $(GFEDITOR) ; rm -rf jarcontents ; mkdir jarcontents ; cp -r de/ ManifestMain.txt ../../LICENSE LICENCE_jargs gf-icon.gif jarcontents ; cat jargs-1.0.jar | (cd jarcontents; jar -x jargs) ; cd jarcontents ; $(JAR) -cmf ManifestMain.txt ../gfeditor.jar de/uka/ilkd/key/ocl/gf/*.class jargs LICENSE LICENCE_jargs gf-icon.gif ; cd .. ; cd .. showflags: @echo $(GHCFLAGS) |
