OptionsManager

Package: ghidra.framework.plugintool.mgr
Type: class

12.1_PUBLIC

addedmethod: setConfigState
void setConfigState(org.jdom2.Element root)
modifiedmethod: getConfigState
return type: Element → Element
- org.jdom.Element getConfigState()
+ org.jdom2.Element getConfigState()
removedmethod: setConfigState
void setConfigState(org.jdom.Element root)

12.0_PUBLIC

removedmethod: deregisterOwner
void deregisterOwner(ghidra.framework.plugintool.Plugin ownerPlugin)

10.4_PUBLIC

modifiedtype-implements: OptionsManager
- ghidra.framework.options.OptionsChangeListener, ghidra.framework.plugintool.util.OptionsService
+ docking.options.OptionsService, ghidra.framework.options.OptionsChangeListener

9.0.1_PUBLIC

introducedInitial version