diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-31 21:42:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-31 21:42:50 +0200 |
| commit | be435608b0b1bb6ff3de10009ade5ec2017016d8 (patch) | |
| tree | 5b6c398f8be0e3c411b3ca0e106b5a93a4919621 /platform/linuxbsd/display_server_x11.h | |
| parent | 29df1919e1fe425dc6f9b68863c294cadd08a80e (diff) | |
| parent | a31b164071dd7af790d4b62057d9f9222285e59d (diff) | |
Merge pull request #40922 from opl-/fix/x11-size-hints
Fix losing X11 window normal size hint properties
Diffstat (limited to 'platform/linuxbsd/display_server_x11.h')
| -rw-r--r-- | platform/linuxbsd/display_server_x11.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/linuxbsd/display_server_x11.h b/platform/linuxbsd/display_server_x11.h index 0ba1359145..8e1f941bbf 100644 --- a/platform/linuxbsd/display_server_x11.h +++ b/platform/linuxbsd/display_server_x11.h @@ -235,6 +235,7 @@ class DisplayServerX11 : public DisplayServer { void _update_real_mouse_position(const WindowData &wd); bool _window_maximize_check(WindowID p_window, const char *p_atom_name) const; + void _update_size_hints(WindowID p_window); void _set_wm_fullscreen(WindowID p_window, bool p_enabled); void _set_wm_maximized(WindowID p_window, bool p_enabled); |