--- a/src/video/x11/SDL_x11modes.c	Wed Oct 03 19:26:07 2012 -0700
+++ b/src/video/x11/SDL_x11modes.c	Wed Oct 03 19:39:12 2012 -0700
@@ -740,10 +740,6 @@
             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 */