Hi
Very good idea, but again we have the preferences profile problem.
Most of my plugins have deliberate, but unfortunately inadequately
consistent, stronger warning settings, so changing the workspace
preference makes no difference to me so I may choose to reject it
because it has no effect rather than because I dislike it.
Unless of course, following the user acceptance of the suggested
setting, we get a checkbox list of all the places where this change
could be activated. Without preference profiles, this should be a
list of non-read-only (GIT-wise) projects with those already using
the setting greyed out. With preference profiles, many projects
would be aggregated hierarchically under the preference profile to
which the change could be applied.
Regards
Ed Willink
On 11/12/2013 09:20, Matthias Sohn
wrote:
_______________________________________________
ide-dev mailing list
ide-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/ide-dev
No virus
found in this message.
Checked by AVG - www.avg.com
Version: 2014.0.4259 / Virus Database: 3658/6909 - Release Date:
12/10/13
|