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

---
 .../de/uka/ilkd/key/ocl/gf/GFEditor2.java        |   4 ++--
 src/JavaGUI2/gf-icon.gif                         | Bin 0 -> 798 bytes
 src/JavaGUI2/gf-logo-64.gif                      | Bin 1513 -> 0 bytes
 src/Makefile                                     |   2 +-
 4 files changed, 3 insertions(+), 3 deletions(-)
 create mode 100644 src/JavaGUI2/gf-icon.gif
 delete mode 100644 src/JavaGUI2/gf-logo-64.gif

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
new file mode 100644
index 0000000000000000000000000000000000000000..5e8863d76b81d94646e7cd71e8540471315f299c
GIT binary patch
literal 798
zcmZ?wbh9u|RA5kGI9AK>gMr}(BjXQd<{zxAKiJrQu(SW*;P}DG`Gbq=2RHW*9-be3
zd_M#Peh3Qw5EA++BJxvA?5DW+PYH>i($YU=WPZxZ{*;&hsi5#vN$IDu@=q0&pBfrJ
zH8p=~Y5mmJ{;8w$Q&;z=p59MG!=J{+KTS=4nwkBwwESgl{maqumy^>kXXjroF2CH|
zetCNS^78r>6!a@3<X3q3uZW0WQBl95qkktP{7y;votpYPE$w$k#_#Ox-#IzI^Yecf
z7XB_N`CVTAyQ1QEW##Xxs^2v=ziVs%w6^}~==jss^{2c0PjBy^{{BA`Cj6N+>Cd!j
zf2L3WGh@b|nKS>)n)PSSoIeW}{$0NO@2XXQ*R1)wcJ1Hw>;G=p@OR6WzdLsP-MRDc
zu3dk3@BVxE@ZTdx{+&7V@9f!s=g<GUcJ1Ho+yCy|`FHp3zx((9J$Uf%(W8G)p8R|9
z;@|7n|KGm-|L)!Y_wWCI{P_R#=l@^6{Qvs(|F>`dzkmP#<H!G>KmY&w_5aVG|9}7f
z|M%}d4CpX0Fff4Pf`R>CLv2%YOLKXCW?Ft}Yj0m`jI|O6!&C+~Y4h;P{{G4!iD`=#
z3wjpMZAp?{q-GZs8XD}N$vjOYW<_nlRt8bm?EX9-nQ1OH{oafW%uYo+Yb!jtr`q)S
zO%+Kv-;yFf)xI@>g+Vy=c5AKzgGTEsw&dr%xsC^#eWtp8JYONoAl~yUAa`YoO2Rrh
z29_(vKVGmj@bd(=uA10=es;HnaaK+8b4G@O6@5KYmR`)w{W}XL#6)Ud>7Bx0aA1~a
zv09IpD#L^Z%SVws4E#k53K!U>o|?DflLy0rLtabO-53?#URioc(29?t;=z{}8SBJO
zU-}{$#Ob9zReL4Jr=ZNX1r{xW3?>ejr!I}OkYtdtFxKcc5^$AXxrJfrhD43*S8G-*
zSrRb8OYw);CoO+hRmtOAA6IN~=#q1q!v67~(ZWmI>so&>Yz%2SCF{8Gdq!enC!1VI
zq(VfL!{U=keDRBJbVPeLPR`A1@kx$c*}!M|>ybs_#L^HZQI8ugZx*Zj&Ul}A=FT}$
H4hCxgYCM~r

literal 0
HcmV?d00001

diff --git a/src/JavaGUI2/gf-logo-64.gif b/src/JavaGUI2/gf-logo-64.gif
deleted file mode 100644
index 041cca41e878163491de53e2b84eedded3895b23..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 1513
zcmZ?wbh9u|bYO5`c;3wLgMr}(8`}>Kjvt(yKe)JlaC86Q;rYSO|3g6FhoIn3Vd0-5
zB0oh%e~O9yl#uu-E&WqY?x&*SPbH<F%E~`gRDP<e{!~~0siE;xTl=T3?oUI*pT@>N
zO-z28n*KC1`(<wa%fjN9rR6Uxt6$dEzwGRO+1vkea{A@${L9t#mz&!!PtRXoUcbD(
zfBE?Q^7Z`{6!a@N_*Z1)ujuICF)_d6;(o`+|IWzxot5=FC+Bx=?(e+3-}(8!OG<uM
zRsF86{#{@Hr?K%*Q`4W;)<2z{e|mfW^!5FjFyYU{iGL<d`ZIa*pQ%&-%$@sZ!Gb@F
z7X4ka<nPj@f0r%$yL|cIl`H?QS@U<@y1(n!|J|_R@1{+EH*fyCWy{~KTmNp~{&(-*
zzx($6-M|0u!GnJf9r}CZ$lv3~|D8Pf@6@S(r%(Sod-mV?^Zzbg`gir}zZ*CH-Msnl
z_U(Un?)<xZ_usvH{~kU1_xSO@Cr|!8efsa&vwtsM{CoB4-|N@^-n{w$_U-?7@BY7k
z|NrC1|DQkq|MKPk_wWCI{rdms&;Nh_{*Quz2mu`i1_lODUSQz($H2}h<FR4E!DbF&
zt(X%54`of<D^|?#XgcB|YSXu1=j9EH-5Z<Ee36*gaDYqNGe|FTl2K=`D2q_fi$u2z
z$7i#C6q#6XfOWFD?0tj6LI)>78w>kqKPM_25w`YZzga1ybg<thQ1sEqhY81KtYJNV
zrr-gy=8eXtO)ft^JbiOeUtTF?Bj>b!K2|S=ovs`nolLSdo7OR2e0b(wYr0iK#N;VF
zOfuDc#&?>T8E4K;6??&<vNKUZmittN&SVGo=lxbf9cdEjj(q2qTeF=y*l_NUtz6NO
zW0kFme0+6f^WQyM(EH(BgNlmfy_+6w_GkD{XD(3vm8hV+<~{2dg|4#g0Sf;d{_}~o
z<$a3$tRc{B_j)?R+s$l=g7&Mpl)g?5%a|mu&hYqe?U(olCMJ&rXVx2Pk%ICjFCH`t
zxM?W1Fneut=JHEf@vu#%>_uXmD?`A;MC&=%Bc+w3c7%6sT-b3yZ0^R2TVfn5Hq2>N
z^P1MeWpzX#xv%}`g2N*Ge<W@*2OltGkhYk2>=;7<PtYL&-!d~7PA0{Nj#DR9Hncbt
z^9ZnYI?NM2#!$>NrI{zCOwGA3eb>gMnUOmc(;Tg~7%WfGoe?%chPmM3H9p}z2`?6Q
zsQqG+;4Cz3kYQI$Y?MoXt8hqQM%t>E%bb@qPLLC;shpsoeup7C#HdO11h4vq(hE`-
zI6WA{Rz-SFWJu<!RAdm1yf{lll&RukfDltiqt;xxP{jkihu_VbvR<C?bdI|RM*^$g
zg|d`ZhDG;|urOPF`53s3`|CnxW}lQ)Hg@?HI|O!eZvDu}o;JtzCWCFjDS<s~FE1Wu
zm>_%XD4U4QM*U4}wvGqcn#!h4<KSYLsOI#C&xl=stHWS=L1RkeAqF*#z;?$c*A}*L
zGB22Lbmf_qiY;txF&~_S!ZsXq<2AXFvsu)0PeCK26vslh+L8pr7A}d76<aPztT12^
P<C4?(dWDIVg~1vCq+z3z

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)