From: <Kli...@t-...> - 2003-08-12 15:34:58
|
Rick Owen wrote: > I did find that there are 80 icons in the jar file and only 75 in the icon set from GTK. I also > found out (the hard way) that you should replace the icons in the jar file instead of delete and > add. Those 5 missing icons mean a lot to jEdit ... :). Yes, you are right! I didn't notice that, probably because I dont use those icons. The following are missing: Load.png NextFile.png PreviousFile.png RunAgain.png arrow1.png arrow2.png And 24_insert_task.png was a new one. That makes the 5 icons difference. I have updated the zip (http://placebo.hpi.uni-potsdam.de/~alexklim/jedit-gtk-icons.zip) and the jar (http://placebo.hpi.uni-potsdam.de/~alexklim/jedit.jar), including the old icons for those 5. Alex -- Alexander Klimetschek <kli...@t-...> |