Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [ide-dev] 10 ideas to improve Eclipse IDE usability

Am 28.05.2014 um 14:38 schrieb Carsten Reckord <reckord@xxxxxxxx>:

> I would file a bug, but I'm not sure for which component. Would this be
> something that every marker contributor (e.g. CDT or JDT) had to do on their
> own? Or is it something that the Platform can provide?

This needs to be one for JDT and one for CDT (and any other plug-in contributing warnings). Only the plug-ins know *if* and when *what* preference to turn on/off. The base implementation could live in resources, though.


Gunnar Wagenknecht

Back to the top