public ToolOptions[] getOptions() {
		return optionsMgr.getOptions();
	}
Get all options.
@return zero-length array if no options exist.
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/PluginTool.java