@Override
		public void optionsChanged(ToolOptions options, String name, Object oldValue,
				Object newValue) {
			PluginTool.this.optionsChanged(options, name, oldValue, newValue);
		}
Transfers focus to the first component in the next/previous dockable component provider.
@param forward true to go to next provider, false to go to previous provider
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/PluginTool.java