OK. I just fired up System/Preferences/Monitors. It correctly displays both monitors and the current configuration (the smaller laptop monitor on top of the larger external one). Unplugged the external monitor's VGA connection. Hit "Detect monitors", and only the laptop monitor shows, and "apply" configures screen size to match.
Plugging the VGA back in, the external monitor is automatically detected, and I immediately get an image on the external monitor as it was, i.e. larger screen size, and the laptop only showing part of it. I then removed the external monitor using "xrandr --output VGA1 --off". Fired up Sys/Pref/Monitors. Again the external is detected, but I can't enable it, and had to use "xrandr --output VGA1 --auto" to get it to work again. The EDID messages are gone from dmesg, it seems. -- gnome-display-properties fails to add new monitor https://bugs.launchpad.net/bugs/491778 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs