Added a delay hack to let the window manager adjust to the mode change. I'm not sure if this is a good idea, but at least it works sometimes now. :)
--- a/src/video/x11/SDL_x11modes.c Wed Oct 03 18:56:29 2012 -0700
+++ b/src/video/x11/SDL_x11modes.c Wed Oct 03 19:02:46 2012 -0700
@@ -740,6 +740,10 @@
SDL_SetError("XRRSetCrtcConfig failed");
return -1;
}
+
+ /* Hack to let the window manager adjust to the mode change */
+ const int WINDOW_MANAGER_DELAY_HACK = 250;
+ SDL_Delay(WINDOW_MANAGER_DELAY_HACK);
}
#endif /* SDL_VIDEO_DRIVER_X11_XRANDR */