public Color getMiddleMouseHighlightColor() {
		return GhidraOptions.DEFAULT_HIGHLIGHT_COLOR;
	}
@return color used to highlight token(s) selected with a middle button clock
Ghidra/Features/Decompiler/src/main/java/ghidra/app/decompiler/DecompileOptions.java