diff options
| author | Victor Kareh <[email protected]> | 2019-05-21 13:50:03 -0400 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-06-16 18:12:44 +0200 |
| commit | baefb5339608bbc0ee087e6f11e11dd5f4aa7d33 (patch) | |
| tree | 043a70199df67aa518b57959ed9cf83f1b530156 | |
| parent | 78c765f97a1eb4ba83d03ed0d708d47371afa21c (diff) | |
| download | marco-baefb5339608bbc0ee087e6f11e11dd5f4aa7d33.tar.bz2 marco-baefb5339608bbc0ee087e6f11e11dd5f4aa7d33.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
| -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); } } /** |