One more note: After doing the xrandr command just above, the GUI seems to work just fine to change the resolution of the monitors, but it won't then allow you to switch off the second monitor.
Rob -- [GM45, 945] Unable to mirror to external monitor https://bugs.launchpad.net/bugs/368518 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-control-center in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs