msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

added an application icon for gfeditor. But the icon itself is worth improvement

Browse Source
This commit is contained in:
hdaniels
2005-06-23 10:52:38 +00:00
parent c9b5a36e03
commit 82a8acca71
3 changed files with 17 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -466,7 +466,14 @@ KeyListener, FocusListener {
public GFEditor2(String gfcmd, boolean isHtml, URL baseURL) { public GFEditor2(String gfcmd, boolean isHtml, URL baseURL) {
this.callback = null; this.callback = null;
this.commandPath = gfcmd; this.commandPath = gfcmd;
initializeGUI(baseURL, isHtml); Image icon = null;
try {
final URL iconURL = ClassLoader.getSystemResource("gf-logo-64.gif");
icon = Toolkit.getDefaultToolkit().getImage(iconURL);
} catch (NullPointerException npe) {
logger.info("gf-logo-64.gif could not be found.\n" + npe.getLocalizedMessage());
}
initializeGUI(baseURL, isHtml, icon);
initializeGF(gfcmd, null); initializeGF(gfcmd, null);
//readAndDisplay(); //readAndDisplay();
} }
@@ -488,7 +495,7 @@ KeyListener, FocusListener {
Utils.tickProgress(pm, 5220, "Loading grammars"); Utils.tickProgress(pm, 5220, "Loading grammars");
initializeGF(gfcmd, pm); initializeGF(gfcmd, pm);
Utils.tickProgress(pm, 9350, "Initializing GUI"); Utils.tickProgress(pm, 9350, "Initializing GUI");
initializeGUI(null, true); initializeGUI(null, true, null);
// send correct term (syntax tree) // send correct term (syntax tree)
//The initial GF constraint has until now always been //The initial GF constraint has until now always been
@@ -561,16 +568,20 @@ KeyListener, FocusListener {
/** /**
* reliefs the constructor from setting up the GUI stuff * reliefs the constructor from setting up the GUI stuff
* @param baseURL the base URL for relative links in the HTML view * @param baseURL the base URL for relative links in the HTML view
* @param showHtml TODO * @param showHtml if the linearization area for HTML should be active
* instead of the pure text version
* @param icon The icon in the title bar of the main window.
* For KeY-usage, no icon is given and the Swing default is chosen
* instead.
*/ */
private void initializeGUI(URL baseURL, boolean showHtml) { private void initializeGUI(URL baseURL, boolean showHtml, Image icon) {
this.setDefaultCloseOperation(DO_NOTHING_ON_CLOSE); this.setDefaultCloseOperation(DO_NOTHING_ON_CLOSE);
this.addWindowListener(new WindowAdapter() { this.addWindowListener(new WindowAdapter() {
public void windowClosing(WindowEvent e) { public void windowClosing(WindowEvent e) {
endProgram(); endProgram();
} }
}); });
setIconImage(icon);
this.readDialog = new ReadDialog(this); this.readDialog = new ReadDialog(this);
//Add listener to components that can bring up popup menus. //Add listener to components that can bring up popup menus.

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

Binary file not shown.
Side by Side

After

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 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 ; cd .. ; 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 ..
showflags: showflags:
@echo $(GHCFLAGS) @echo $(GHCFLAGS)