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 Desktop Bugs, which is subscribed to gnome-desktop 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs