public int getMiddleMouseHighlightButton() {
		return middleMouseHighlightButton;
	}
@return the mouse button that should be used to toggle the primary token highlight
Ghidra/Features/Decompiler/src/main/java/ghidra/app/decompiler/DecompileOptions.java