src/video/x11/SDL_x11modes.c
changeset 6553 2f03111a2105
parent 6551 b0679a0d5751
child 6558 90f231aa77b9
     1.1 --- a/src/video/x11/SDL_x11modes.c	Wed Oct 03 19:26:07 2012 -0700
     1.2 +++ b/src/video/x11/SDL_x11modes.c	Wed Oct 03 19:39:12 2012 -0700
     1.3 @@ -740,10 +740,6 @@
     1.4              SDL_SetError("XRRSetCrtcConfig failed");
     1.5              return -1;
     1.6          }
     1.7 -
     1.8 -        /* Hack to let the window manager adjust to the mode change */
     1.9 -        const int WINDOW_MANAGER_DELAY_HACK = 250;
    1.10 -        SDL_Delay(WINDOW_MANAGER_DELAY_HACK);
    1.11      }
    1.12  #endif /* SDL_VIDEO_DRIVER_X11_XRANDR */
    1.13