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
ConstructorsConstructorDescriptionThemeColorOption(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:
getCurrentValuein classOption
-
getDefaultValue
- Overrides:
getDefaultValuein classOption
-
doSetCurrentValue
- Specified by:
doSetCurrentValuein classOption
-
isDefault
public boolean isDefault() -
restoreDefault
public void restoreDefault()- Overrides:
restoreDefaultin classOption
-