Sure, most users stick with the default settings. Having a good
default is important. That said, I'm skeptical on the survey's
ability to provide a definitive answer to the question of what makes
the best default settings. I think the concept of having settings
profiles as Martin suggested could be more useful in this regard, as
it would make it easy to switch between multiple default preference
schemes that could be logically oriented around the most common use
cases.
Additional comment inline below.
Neil
On 11/27/2013 10:40 AM, Mickael Istria
wrote:
On 11/27/2013 02:57 PM, Oberhuber,
Martin wrote:
It’s
better to make it easier fit a user’s situation (type a or
type b, and allow easy turn-off of individual warnings
that annoy me).
I don't get the comment. JDT has already allowed to enable/disable
warnings for years. What do you think is missing to end-users when
it comes to configuring warnings?
JDT doesn't provide preference profiles, which is what Martin was
suggesting.
_______________________________________________
ide-dev mailing list
ide-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/ide-dev
|
