public Color getSearchHighlightColor() {
		return SEARCH_HIGHLIGHT_COLOR;
	}
@return color used to highlight search results
Ghidra/Features/Decompiler/src/main/java/ghidra/app/decompiler/DecompileOptions.java