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/themes | |
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/themes')
0 files changed, 0 insertions, 0 deletions