From 46e7ad75aaf247cf477e57a8974fe253f209e6e6 Mon Sep 17 00:00:00 2001
From: hdaniels <unknown>
Date: Thu, 23 Jun 2005 11:48:10 +0000
Subject: better icon for the editor

---
 src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/JavaGUI2/de/uka')

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);                
-- 
cgit v1.2.3