de.codedo.java.editor: revision graph

graph

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

use the same ID for the editor as JDT does
Mon, 15 Dec 2014 06:25:32 +0100, by 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.
Sat, 13 Dec 2014 13:54:38 +0100, by Dirk Olmes

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