log

age author description
Mon, 15 Dec 2014 14:13:11 +0100 Dirk Olmes use the default JDT icon for the java editor so the look and feel our editor is the same when it't not displaying the flagged icon
Mon, 15 Dec 2014 06:31:20 +0100 Dirk Olmes ignore files in the bin folder
Mon, 15 Dec 2014 06:25:32 +0100 Dirk Olmes use the same ID for the editor as JDT does
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