log src/de/codedo/java/editor/CodedoJavaEditor.java @ 8:778c251baa66

age author description
Thu, 15 Oct 2020 09:43:34 +0200 Dirk Olmes Anpassungen fuer aktuelles JDK. Input Stream, aus dem das Icon geladen wird, ordentlich schliessen.
Mon, 07 Sep 2015 14:42:44 +0200 Dirk Olmes Reset the title image when an editor is closed.
Sat, 13 Dec 2014 13:54:38 +0100 Dirk Olmes Install a custom JavaElementImageProvider subclass so that the custom title image stays in place even if the editor icon is decorated e.g. by error markers.
Thu, 23 Oct 2014 22:20:08 +0200 Dirk Olmes created a plugin that allows to set a custom icon on a java editor