Actually the heuristics that manage what to do when hotplugging is in the gnome control utilities (gnome-rr.c in gnome-desktop). Sounds like it's not handling things as you expect; refiling (there is no 'xrandr' package anymore).
** Package changed: xrandr (Ubuntu) => gnome-desktop (Ubuntu) -- You received this bug notification because you are a member of Ubuntu-X, which is subscribed to xrandr in Ubuntu. https://bugs.launchpad.net/bugs/575015 Title: Screen output selection broken with Dell Latitude E-series advanced dock To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-desktop/+bug/575015/+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
