Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[cdt-dev] External Settings provider: How to deal with user changes

If you have any opinion related to "External Settings provider" and how a user may change settings provided by them, it'd be great if you could have a look at https://bugs.eclipse.org/bugs/show_bug.cgi?id=331979, especially https://bugs.eclipse.org/bugs/show_bug.cgi?id=331979#c0 and https://bugs.eclipse.org/bugs/show_bug.cgi?id=331979#c8

Thanks
Raphael


Back to the top