@Override
	public Color getCurrentValue() {
		return new GColor(colorId);
	}
Options implementation for theme color options. A ThemeColorOption is an option that, when
changed, affects the current theme and is saved in the theme, instead of being saved with
normal non-theme related options.
Ghidra/Framework/Gui/src/main/java/ghidra/framework/options/ThemeColorOption.java