public ToolOptions getDisplayOptions() {
		return displayOptions;
	}
Returns the Options used for display properties.
@return  the Options used for display properties.
Ghidra/Features/Base/src/main/java/ghidra/app/util/viewer/format/FormatManager.java