comparison src/de/codedo/java/editor/CodedoJavaEditor.java @ 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 f7d908568cfc
children 6287f5e469f1
comparison
equal deleted inserted replaced
3:ad16ec6d6284 4:d42b86029389