Closed iloveeclipse closed 9 months ago
Before I start researching into Eclipse preferences. Could you give me a few lines of pseudo code, then I can change this.
IPreferencesService preferenceService = Platform.getPreferencesService();
String value = preferenceService.getString(PLUGIN_ID, KEY, DEFAULT_VALUE, /* search in all scopes is null */ null);
Verified fix https://github.com/eclipse/tm4e/pull/716 : works fine in 0.10.1.202402162114 version & product customization.
@sebthom : do you plan to release 0.10.1 may be? I'm particularly interested in https://github.com/eclipse/tm4e/issues/709 & https://github.com/eclipse/tm4e/issues/713 fixes.
@sebthom : do you plan to release 0.10.1 may be? I'm particularly interested in #709 & #713 fixes.
I just released it
The code below only asks for a user preference, not for all possible configured preferences like plugin customization. https://github.com/eclipse/tm4e/blob/e87d06b6a2afd5fbb2b68a91345508b1ce09b2ac/org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/internal/themes/ThemeManager.java#L125
So plugin customization file that contains something like this doesn't work:
The right way is to read preferences from preferences service and write to the instance scope.