X11_RefreshDisplay 331 src/video/x11/SDL_x11events.c                  X11_RefreshDisplay(this);
X11_RefreshDisplay 387 src/video/x11/SDL_x11events.c                          X11_RefreshDisplay(this);
X11_RefreshDisplay 982 src/video/x11/SDL_x11video.c   X11_RefreshDisplay(this);