Comment 8 for bug 434269

I also have this problem. In addition, I have a script that runs every few seconds using xrandr to check if my laptop is docked, and thus changes to the correct resolution for my external. When I'm not docked and I close my lid, xrandr ends up outputting the wrong resolution (ie, it thinks it's at 1400x1050, when it's obviously not). I have to go into nvidia-settings to change things back to normal.