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-X, which is subscribed to xserver-xorg-video-intel in 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 _______________________________________________ Mailing list: https://launchpad.net/~ubuntu-x-swat Post to : [email protected] Unsubscribe : https://launchpad.net/~ubuntu-x-swat More help : https://help.launchpad.net/ListHelp
