@Override
	public void optionsChanged(ToolOptions options, String optionName, Object oldValue,
			Object newValue) {
		switch (optionName) {
			case DB_CONFIG_FILE:
				dbConfigFile = (String) newValue;
				if (provider != null) {
					provider.reload();
				}
				break;
			case REUSE_GRAPH:
				reuseGraph = (Boolean) newValue;
				break;
			case DECOMPILER_TIMEOUT:
				decompilerTimeout = (Integer) newValue;
				if (provider != null) {
					provider.reload();
				}
				break;
			case HIGHLIGHT_BY_ROW:
				highlightByRow = (Boolean) newValue;
				break;
			default:
				Msg.error(this, "Unrecognized option: " + optionName);
				break;
		}
	}
Creates a BSimFeatureVisualizerPlugin for the given {@link PluginTool}
@param tool plugin tool
Ghidra/Features/BSimFeatureVisualizer/src/main/java/ghidra/bsfv/BSimFeatureVisualizerPlugin.java