GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 11:42:49 -06:00
Code Issues Packages Projects Releases Wiki Activity

better icon for the editor

Browse Source
This commit is contained in:
hdaniels
2005-06-23 11:48:10 +00:00
parent a4993bcd39
commit aab06133c6
4 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java
View File

@@ -468,10 +468,10 @@ KeyListener, FocusListener {
this.commandPath = gfcmd; this.commandPath = gfcmd;
Image icon = null; Image icon = null;
try { try {
final URL iconURL = ClassLoader.getSystemResource("gf-logo-64.gif"); final URL iconURL = ClassLoader.getSystemResource("gf-icon.gif");
icon = Toolkit.getDefaultToolkit().getImage(iconURL); icon = Toolkit.getDefaultToolkit().getImage(iconURL);
} catch (NullPointerException npe) { } 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); initializeGUI(baseURL, isHtml, icon);
initializeGF(gfcmd, null); initializeGF(gfcmd, null);

BIN
src/JavaGUI2/gf-icon.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 798 B

BIN
src/JavaGUI2/gf-logo-64.gif
View File

Binary file not shown.
Side by Side

Before

Width:  |  Height:  |  Size: 1.5 KiB

2
src/Makefile
View File

@@ -119,7 +119,7 @@ javac:
jar: javac jar: javac
cd JavaGUI; $(JAR) -cmf manifest.txt gf-java.jar *.class ; cd .. 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: showflags:
@echo $(GHCFLAGS) @echo $(GHCFLAGS)