I constantly switch between using two external monitors through my docking station, using my TV through HDMI, or just the internal display. I don't even have an

I constantly switch between using two external monitors through my docking station, using my TV through HDMI, or just the internal display. I don't even have an xorg.conf file. The defaults are perfectly fine and RandR does the job of changing outputs while X is running. I have a T420 with Intel graphics.