ToolOptions

Package: ghidra.framework.options
Type: class

12.1_PUBLIC

addedfield: LAST_REGISTERED_DATE_ATTIBUTE
static java.lang.String LAST_REGISTERED_DATE_ATTIBUTE
addedfield: LAST_REGISTERED_DATE_FORMATTER
static java.time.format.DateTimeFormatter LAST_REGISTERED_DATE_FORMATTER
modifiedmethod: getXmlRoot
return type: Element → Element
- org.jdom.Element getXmlRoot(boolean includeDefaultBindings)
+ org.jdom2.Element getXmlRoot(boolean includeDefaultBindings)

11.4_PUBLIC

addedmethod: dispose
void dispose()

9.0.2_PUBLIC

addedmethod: createRegisteredOption
ghidra.framework.options.Option createRegisteredOption(java.lang.String optionName, ghidra.framework.options.OptionType type, java.lang.String description, ghidra.util.HelpLocation help, java.lang.Object defaultValue, java.beans.PropertyEditor editor)
addedmethod: createUnregisteredOption
ghidra.framework.options.Option createUnregisteredOption(java.lang.String optionName, ghidra.framework.options.OptionType type, java.lang.Object defaultValue)
addedmethod: notifyOptionChanged
boolean notifyOptionChanged(java.lang.String optionName, java.lang.Object oldValue, java.lang.Object newValue)

9.0.1_PUBLIC

introducedInitial version