> That is very cool. How did you figure out what to do? I am currently
> using the nvidia proprietary drivers
AFAIK, this doesn't support xrandr (or not well enough). You probably
want to try the `nouveau' driver, which does support xrandr.
Stefan