Re: Hotkey Switching of Display Devices
Have you tried using an almost empty xorg.conf and xrandr?
xrandr --output vga --auto --mode 1024x768
or something like that should work fine. Put that in a nice little script which runs some combinations of parameters depending on previous xrandr-output.
Finally, make your script run on hotkey and done.
Unfortunately i dont have any secondary output devices here to try the above on my desktop-pc and my laptop does not have nvidia graphics, but i dont see why this would not work.