Package ghidra.framework.options
Class ThemeColorOption
java.lang.Object
ghidra.framework.options.Option
ghidra.framework.options.ThemeColorOption
Options implementation for theme color options. A ThemeColorOption is an option that, when
changed, affects the current theme and is saved in the theme, instead of being saved with
normal non-theme related options.
-
Field Summary
Fields inherited from class ghidra.framework.options.Option
UNREGISTERED_OPTION
-
Constructor Summary
ConstructorDescriptionThemeColorOption
(String optionName, String colorId, String description, HelpLocation help) -
Method Summary
Methods inherited from class ghidra.framework.options.Option
getDescription, getHelpLocation, getInceptionInformation, getName, getOptionType, getPropertyEditor, getValue, isRegistered, setCurrentValue, toString
-
Constructor Details
-
ThemeColorOption
-
-
Method Details
-
getCurrentValue
- Specified by:
getCurrentValue
in classOption
-
getDefaultValue
- Overrides:
getDefaultValue
in classOption
-
doSetCurrentValue
- Specified by:
doSetCurrentValue
in classOption
-
isDefault
public boolean isDefault() -
restoreDefault
public void restoreDefault()- Overrides:
restoreDefault
in classOption
-