public void updateOptions() {
		Options options = tool.getOptions("Editors");
		options.setBoolean(HEX_NUMBERS_OPTION_NAME, showNumbersInHex);
	}
Create the actions for the menu on the tool.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/stackeditor/StackEditorManagerPlugin.java