05/26/12 20:29:24 ¶ ● SwitchMainDisplay A tool to easily switch the current main display with the external one, or the other way around.