private void registerOptions() {
		String prefix = "Sets the ";
		options.registerThemeFontBinding(GhidraOptions.OPTION_BASE_FONT,
			DEFAULT_FONT_ID, null, prefix + GhidraOptions.OPTION_BASE_FONT);
		for (ScreenElement element : OptionsGui.elements) {
			String colorOptionName = element.getColorOptionName();
			options.registerThemeColorBinding(colorOptionName, element.getThemeColorId(), null,
				prefix + colorOptionName);
			String styleOptionName = element.getStyleOptionName();
			options.registerOption(styleOptionName, -1, null, prefix + styleOptionName);
		}
	}
Constructs a new ListingDisplayOptionsEditor.
@param options the options object to edit
Ghidra/Features/Base/src/main/java/ghidra/app/util/viewer/options/ListingDisplayOptionsEditor.java