src/video/x11/SDL_x11modes.c
changeset 6549 db16b819e1d1
parent 6548 fc9e6be24ca9
child 6550 191f00a080ba
     1.1 --- a/src/video/x11/SDL_x11modes.c	Wed Oct 03 18:56:29 2012 -0700
     1.2 +++ b/src/video/x11/SDL_x11modes.c	Wed Oct 03 19:02:46 2012 -0700
     1.3 @@ -740,6 +740,10 @@
     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