diff options
| author | Florian Müllner <fmuellner@gnome.org> | 2018-09-08 14:17:47 +0200 |
|---|---|---|
| committer | Florian Müllner <fmuellner@gnome.org> | 2018-09-08 14:17:47 +0200 |
| commit | 108224cd335c4ede75d926f994b0842fd80bb918 (patch) | |
| tree | d8db33194472dc35431426e27e3cbc657c877cfa | |
| parent | 9cfd1853160e2de922b5248a87c7fa290c8848a9 (diff) | |
| download | mutter-wip/fmuellner/hide-titlebar-when-tiled.tar.gz | |
window-props: Handle hide-titlebar-when-maximized for tiled windowswip/fmuellner/hide-titlebar-when-tiled
While we apply the setting to both maximized and tiled windows, we
currently only queue a resize for the former. This is required for
the setting to take effect immediately if the window is already
tiled.
https://gitlab.gnome.org/GNOME/mutter/issues/296
| -rw-r--r-- | src/x11/window-props.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/x11/window-props.c b/src/x11/window-props.c index d06a89a21..2d50f29b6 100644 --- a/src/x11/window-props.c +++ b/src/x11/window-props.c @@ -1729,7 +1729,8 @@ reload_gtk_hide_titlebar_when_maximized (MetaWindow *window, window->hide_titlebar_when_maximized = requested_value; - if (META_WINDOW_MAXIMIZED (window)) + if (META_WINDOW_MAXIMIZED (window) || + META_WINDOW_TILED_SIDE_BY_SIDE (window)) { meta_window_queue (window, META_QUEUE_MOVE_RESIZE); meta_window_frame_size_changed (window); |