annotate icons/jcu_obj.gif @ 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
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
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
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
1 (binary:image/gif)