> 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