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 /AUTHORS | |
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
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions