See also bug 859389 where I have an incorrectly named "HDMI1" output, on a machine with no HDMI ports.
The difference is, I am using "HDMI1". It's actually a Display Port with a DVI adapter. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/855124 Title: XRANDR operations very slow unless (phantom) HDMI1 disabled To manage notifications about this bug go to: https://bugs.launchpad.net/linux/+bug/855124/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs