Actually the problem disappeared after I installed drivers from the Bumblebee PPA (https://launchpad.net/~bumblebee/+archive/stable). Switching to NVIDIA finally allowed me to use switchable graphics, see http://askubuntu.com/a/303897/30266.
-- You received this bug notification because you are a member of Ubuntu-X, which is subscribed to xorg-server in Ubuntu. https://bugs.launchpad.net/bugs/1185299 Title: X crashes when attaching a monitor using the DVI interface To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/xorg-server/+bug/1185299/+subscriptions _______________________________________________ Mailing list: https://launchpad.net/~ubuntu-x-swat Post to : ubuntu-x-swat@lists.launchpad.net Unsubscribe : https://launchpad.net/~ubuntu-x-swat More help : https://help.launchpad.net/ListHelp