de.codedo.java.editor: revision graph

graph

less more | rev 1: (0) +1 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

less more | rev 1: (0) +1 tip