Menu operations 59
Other input sources
Leave the android system and connect to other input sources like VGA, HDMI, OPS.
Refer to Advanced settings (Android system) on page 55 for more information about
Key lock, IR lock, Touch lock, Pixel shift, and DCR.