Comment 4 for bug 833549

This problem can be solved with the fix in PrivateScreen::updateOutputDevices() below.

--- screen.cpp.orig 2011-08-31 16:33:45.000000000 +0800
+++ screen.cpp 2011-08-31 16:33:03.000000000 +0800
@@ -1729,6 +1729,13 @@
        width = (int) uWidth;
        height = (int) uHeight;

+ // Update screen size
+ if (screen->width () != width || screen->height () != height)
+ {
+ screen->setWidth(width);
+ screen->setHeight(height);
+ }
+
        if (bits & XNegative)
            x = screen->width () + x - width;