diff options
| author | Enzo Nocera <32960642+AlmightyScientist@users.noreply.github.com> | 2017-12-24 00:59:51 +0100 |
|---|---|---|
| committer | Enzo Nocera <32960642+AlmightyScientist@users.noreply.github.com> | 2017-12-24 01:16:17 +0100 |
| commit | 6f3486c4866a0a0e0408c2e0dbd65f128995abf4 (patch) | |
| tree | 5daed57f3b51b6214206f2877e14c1f89309ed83 | |
| parent | 9969c5c6a1cc103fb7b23c279b7fde0d92a5599a (diff) | |
x11: Fix maximized splash-boot screen bug.
Fixes #14336
| -rw-r--r-- | platform/x11/os_x11.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/platform/x11/os_x11.cpp b/platform/x11/os_x11.cpp index 6616e47317..f3f4b1f217 100644 --- a/platform/x11/os_x11.cpp +++ b/platform/x11/os_x11.cpp @@ -1050,6 +1050,10 @@ void OS_X11::set_window_maximized(bool p_enabled) { XSendEvent(x11_display, DefaultRootWindow(x11_display), False, SubstructureRedirectMask | SubstructureNotifyMask, &xev); + while (p_enabled && !is_window_maximized()) { + // Wait for effective resizing (so the GLX context is too). + } + maximized = p_enabled; } |