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 | |
| 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
| -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); } } /** |