modifiedmethod:
optionsChanged
added throws OptionsVetoException
- void optionsChanged(ghidra.framework.options.ToolOptions options, java.lang.String optionName, java.lang.Object oldValue, java.lang.Object newValue)
+ void optionsChanged(ghidra.framework.options.ToolOptions options, java.lang.String optionName, java.lang.Object oldValue, java.lang.Object newValue) throws OptionsVetoException