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 void
appendOverriddenPropertyName
(IEclipsePreferences preferences, String name) getOverriddenPropertyNames
(IEclipsePreferences preferences) static boolean
static void
overrideDefault
(IEclipsePreferences preferences, String name, String value) static void
removeOverriddenByCssProperty
(IEclipsePreferences preferences, String preferenceToRemove) static void
removeOverriddenPropertyNames
(IEclipsePreferences preferences) static void
resetOverriddenDefaults
(IEclipsePreferences preferences) static void
setCurrentThemeId
(String themeId) static void
setPreviousThemeId
(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
-