src/video/x11/SDL_x11modes.c
changeset 6549 db16b819e1d1
parent 6548 fc9e6be24ca9
child 6550 191f00a080ba
equal deleted inserted replaced
6548:fc9e6be24ca9 6549:db16b819e1d1
   738 
   738 
   739         if (status != Success) {
   739         if (status != Success) {
   740             SDL_SetError("XRRSetCrtcConfig failed");
   740             SDL_SetError("XRRSetCrtcConfig failed");
   741             return -1;
   741             return -1;
   742         }
   742         }
       
   743 
       
   744         /* Hack to let the window manager adjust to the mode change */
       
   745         const int WINDOW_MANAGER_DELAY_HACK = 250;
       
   746         SDL_Delay(WINDOW_MANAGER_DELAY_HACK);
   743     }
   747     }
   744 #endif /* SDL_VIDEO_DRIVER_X11_XRANDR */
   748 #endif /* SDL_VIDEO_DRIVER_X11_XRANDR */
   745 
   749 
   746 #if SDL_VIDEO_DRIVER_X11_XVIDMODE
   750 #if SDL_VIDEO_DRIVER_X11_XVIDMODE
   747     if (data->use_vidmode) {
   751     if (data->use_vidmode) {