comparison src/de/codedo/java/editor/Activator.java @ 6:6287f5e469f1

Reset the title image when an editor is closed.
author Dirk Olmes <dirk@xanthippe.ping.de>
date Mon, 07 Sep 2015 14:42:44 +0200
parents f7d908568cfc
children
comparison
equal deleted inserted replaced
5:dd4ab3c8d143 6:6287f5e469f1