log

age author description
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