OptionsManager

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

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