Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [ide-dev] Survey results

Why should we ignore that? The users that share their settings may have chosen to set the important flags to warning / error and leave the unimportant validations as ignore. I would say that's an explicit decision and should not be ignored.

- Sebastian

On 10.12.2013, at 16:10, Konstantin Komissarchik wrote:

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.
 
- Konstantin
 
 
From: ide-dev-bounces@xxxxxxxxxxx [mailto:ide-dev-bounces@xxxxxxxxxxx] On Behalf Of John Arthorne
Sent: Tuesday, December 10, 2013 7:00 AM
To: Discussions about the IDE
Subject: Re: [ide-dev] Survey results
 
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

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail


Back to the top