[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [ide-dev] 10 ideas to improve Eclipse IDE usability
|
+1
On 28/05/2014 2:38 PM, Carsten Reckord wrote:
Additionally, number 8 "Stop showing nonsense warning and suggestion" tends
to come up again and again.
Instead of discussing for the umpteenth time which errors/warnings should be
on or off by default, I suggest a default quickfix for all problem markers
(where applicable) that just disables that marker type in the preferences.
This would let people easily get to their comfortable level of warnings and
it would eliminate the need to hunt down the specific preference controlling
a certain marker.
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?
On 28.05.2014 10:49, Mickael Istria wrote:
Thanks. Those are mostly good suggestions of improvements. Too bad
people prefer dropping a bottle in the sea instead of giving feedback on
bugs.eclipse.org.
I kept the 3 of them that makes the most sense and are the more
consensual IMO, and turned them into bugs:
* https://bugs.eclipse.org/bugs/show_bug.cgi?id=436019
* https://bugs.eclipse.org/bugs/show_bug.cgi?id=436023
* https://bugs.eclipse.org/bugs/show_bug.cgi?id=436025 (my favorite)
_______________________________________________
ide-dev mailing list
ide-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/ide-dev
