If I am not mistaken, JDT does not use sparse storage for these settings, so when a user changes any problem severity setting at project level, all are persisted. The 1061 set as warning and 230 set as error are then valid data as these are not defaults, but we can’t use this data to tell how many actually prefer to ignore.
Sven's queries only capture the users with custom settings - the people who are *not* just using defaults. While it is true this is only a fraction of all users, it still gives us some interesting data about what settings Java devlopers find useful.
John
From: Lars Vogel <lars.vogel@xxxxxxxxx>
To: Discussions about the IDE <ide-dev@xxxxxxxxxxx>,
Date: 12/10/2013 04:39 AM
Subject: Re: [ide-dev] Survey results
Sent by: ide-dev-bounces@xxxxxxxxxxx
Hi Sven,
IMHO most users don't touch defaults, this might be the reason why you find the default setting so often on Github.
Best regards, Lars
2013/12/10 Sven Efftinge <sven@xxxxxxxxxxx>
On Dec 9, 2013, at 5:46 PM, Mickael Istria <mistria@xxxxxxxxxx> wrote:
On 12/09/2013 05:14 PM, Eric Moffatt wrote:
What happened to the idea of scraping github for data ? This seemed like a great idea to me when it first came up and may provide further insight into our users 'real' preferences.
Do you, as a user, commit your preferences to GitHub?
I may be wrong, but I don't believe GitHub repositories can give real hints about IDE configuration.
why don't you simply go and look?
For example, at github the option 'org.eclipse.jdt.core.compiler.problem.autoboxing' is set 14,244 times to ignore [1] (today's default), and only 1,061 to warning [2] (the proposal) and 230 to error [3].
That's much better data than the survey, because it is more detailed, is based on real usage, and we have seven times as much 'votes'.
And surprisingly (or not) the result is very different.
[1] - https://github.com/search?q=org.eclipse.jdt.core.compiler.problem.autoboxing%3Dignore&type=Code&ref=searchresults
[2] - https://github.com/search?q=org.eclipse.jdt.core.compiler.problem.autoboxing%3Dwarning&type=Code&ref=searchresults
[3] - https://github.com/search?q=org.eclipse.jdt.core.compiler.problem.autoboxing%3Derror&type=Code&ref=searchresults
_______________________________________________
ide-dev mailing list
ide-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/ide-dev
_______________________________________________
ide-dev mailing list
ide-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/ide-dev
_______________________________________________
ide-dev mailing list
ide-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/ide-dev