Closed lwrage closed 6 years ago
It's not just setting a preference! The initial preference value is somehow calculated from plugins that define the decorators.
We're back to the Xtext decoration
We could change the project icon instead of using a decoration
There is a preference to disable the Xtext decoration. This should be the default.