Class EclipsePreferencesHelper
java.lang.Object
org.eclipse.e4.ui.css.swt.helpers.EclipsePreferencesHelper
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic class -
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic voidappendOverriddenPropertyName(IEclipsePreferences preferences, String name) getOverriddenPropertyNames(IEclipsePreferences preferences) static booleanstatic voidoverrideDefault(IEclipsePreferences preferences, String name, String value) static voidremoveOverriddenByCssProperty(IEclipsePreferences preferences, String preferenceToRemove) static voidremoveOverriddenPropertyNames(IEclipsePreferences preferences) static voidresetOverriddenDefaults(IEclipsePreferences preferences) static voidsetCurrentThemeId(String themeId) static voidsetPreviousThemeId(String themeId)
-
Field Details
-
PROPS_OVERRIDDEN_BY_CSS_PROP
- See Also:
-
SEPARATOR
- See Also:
-
-
Constructor Details
-
EclipsePreferencesHelper
public EclipsePreferencesHelper()
-
-
Method Details
-
appendOverriddenPropertyName
-
getPreferenceChangeListener
-
getOverriddenPropertyNames
-
removeOverriddenPropertyNames
-
removeOverriddenByCssProperty
public static void removeOverriddenByCssProperty(IEclipsePreferences preferences, String preferenceToRemove) -
setPreviousThemeId
-
setCurrentThemeId
-
isThemeChanged
public static boolean isThemeChanged() -
overrideDefault
-
resetOverriddenDefaults
-