Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [ide-dev] Survey for IDE feature enhancements

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.


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.

Mickael Istria
Eclipse developer at JBoss, by Red Hat
My blog - My Tweets

ide-dev mailing list

Back to the top