annotate icons/icon.png @ 2:79c8c1f9fd7d

use the same ID for the editor as JDT does
author Dirk Olmes <dirk@xanthippe.ping.de>
date Mon, 15 Dec 2014 06:25:32 +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)