annotate icons/icon.png @ 1:f7d908568cfc

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.
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sat, 13 Dec 2014 13:54:38 +0100
parents ca07a15b6cc8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
ca07a15b6cc8 created a plugin that allows to set a custom icon on a java editor
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
1 (binary:image/png)