diff options
author | Victor Kareh <[email protected]> | 2019-05-21 13:50:03 -0400 |
---|---|---|
committer | Victor Kareh <[email protected]> | 2019-06-05 10:49:37 -0400 |
commit | d60980f23f73159bf4e2558b2cd674380604eea0 (patch) | |
tree | f6ad5f64c2ee9afdedff865cbc673af86842a86d /src | |
parent | b59538af6e5c2858fc0d01ac1db42957c303ec48 (diff) | |
download | marco-d60980f23f73159bf4e2558b2cd674380604eea0.tar.bz2 marco-d60980f23f73159bf4e2558b2cd674380604eea0.tar.xz |
core: Update frame style when _GTK_THEME_VARIANT changes
When the _GTK_THEME_VARIANT property changes, rather than just
updating the window's theme_variant property, update its frame
style as well, so that the window decoration reflects the requested
variant. As the initial properties of a window may be read before
its frame is created, there will be cases where the change is not
picked up initially.
https://bugzilla.gnome.org/show_bug.cgi?id=645355
upstream commit:
https://gitlab.gnome.org/GNOME/metacity/commit/8a779ab9
Diffstat (limited to 'src')
-rw-r--r-- | src/core/window-props.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/core/window-props.c b/src/core/window-props.c index 0f492a5e..54a2ecee 100644 --- a/src/core/window-props.c +++ b/src/core/window-props.c @@ -1550,6 +1550,8 @@ reload_gtk_theme_variant (MetaWindow *window, g_free (current_variant); window->gtk_theme_variant = g_strdup (requested_variant); + if (window->frame) + meta_ui_update_frame_style (window->screen->ui, window->frame->xwindow); } } /** |