On 07/15/2013 06:44 PM, Konstantin Komissarchik wrote:
Regarding default preferences, the "best" thing to do is to capture
what preferences the users are tweaking using an automated usage
collection system. Then one can produce a report showing, for
instance, how many users prefer line numbers in the margin. If the
stats really do favor line numbers, then the default setting should be
revisited regardless of history. If the stats show the opposite, then
the reports can be published, which should partly help to pacify those
who incorrectly assume that their preference is representative of the
majority.
+1, that's a good idea.
In any case, such reports should be made public. It shows users that
they have some control on the deliveries. And their content will be very
nice input to the most famous trolls of code style (tab vs margins, 80
columns...).
Should I open a bug to suggest this "Preference Collector" mechanism?
--
Mickael Istria
Eclipse developer at JBoss, by Red Hat <http://www.jboss.org/tools>
My blog <http://mickaelistria.wordpress.com> - My Tweets
<http://twitter.com/mickaelistria>
_______________________________________________
cross-project-issues-dev mailing list
cross-project-issues-dev@eclipse.org
https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
