annotate icons/icon.png @ 4:d42b86029389

use the default JDT icon for the java editor so the look and feel our editor is the same when it't not displaying the flagged icon
author Dirk Olmes <dirk@xanthippe.ping.de>
date Mon, 15 Dec 2014 14:13:11 +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)