src/video/x11/SDL_x11modes.c
changeset 6553 2f03111a2105
parent 6551 b0679a0d5751
child 6558 90f231aa77b9
equal deleted inserted replaced
6552:caa7decef32b 6553:2f03111a2105
   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);
       
   747     }
   743     }
   748 #endif /* SDL_VIDEO_DRIVER_X11_XRANDR */
   744 #endif /* SDL_VIDEO_DRIVER_X11_XRANDR */
   749 
   745 
   750 #if SDL_VIDEO_DRIVER_X11_XVIDMODE
   746 #if SDL_VIDEO_DRIVER_X11_XVIDMODE
   751     if (data->use_vidmode) {
   747     if (data->use_vidmode) {