Re: [ide-dev] 10 ideas to improve Eclipse IDE usability

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [ide-dev] 10 ideas to improve Eclipse IDE usability

From: Gunnar Wagenknecht <gunnar@xxxxxxxxxxxxxxx>
Date: Wed, 28 May 2014 14:41:10 +0200
Delivered-to: ide-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/ide-dev>
List-help: <mailto:ide-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/ide-dev>, <mailto:ide-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/ide-dev>, <mailto:ide-dev-request@eclipse.org?subject=unsubscribe>

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


-- 
Gunnar Wagenknecht
gunnar@xxxxxxxxxxxxxxx

Follow-Ups:
- Re: [ide-dev] 10 ideas to improve Eclipse IDE usability
  - From: Ed Willink

References:
- [ide-dev] 10 ideas to improve Eclipse IDE usability
  - From: Mike Milinkovich
- Re: [ide-dev] 10 ideas to improve Eclipse IDE usability
  - From: Mickael Istria
- Re: [ide-dev] 10 ideas to improve Eclipse IDE usability
  - From: Carsten Reckord

Prev by Date: Re: [ide-dev] 10 ideas to improve Eclipse IDE usability
Next by Date: Re: [ide-dev] 10 ideas to improve Eclipse IDE usability
Previous by thread: Re: [ide-dev] 10 ideas to improve Eclipse IDE usability
Next by thread: Re: [ide-dev] 10 ideas to improve Eclipse IDE usability
Index(es):
- Date
- Thread

Breadcrumbs