de.codedo.java.editor: revision graph

graph

less more | rev 1: (0) tip

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.
Sat, 13 Dec 2014 13:54:38 +0100, by Dirk Olmes
created a plugin that allows to set a custom icon on a java editor
Thu, 23 Oct 2014 22:20:08 +0200, by Dirk Olmes

less more | rev 1: (0) tip