diff options
| author | Victor Kareh <[email protected]> | 2019-05-21 13:37:01 -0400 |
|---|---|---|
| committer | Victor Kareh <[email protected]> | 2019-06-05 10:49:37 -0400 |
| commit | b57ab969c03612a0aaa1d9d8b6c0d67d13d9281f (patch) | |
| tree | d450e9ac536b65a9355f7547504318b6929359aa /src/ui | |
| parent | d05c1f4677ab3dda3ad2b5964a554aec8611fdcc (diff) | |
| download | marco-b57ab969c03612a0aaa1d9d8b6c0d67d13d9281f.tar.bz2 marco-b57ab969c03612a0aaa1d9d8b6c0d67d13d9281f.tar.xz | |
window: Parse _GTK_THEME_VARIANT property
Since version 3.0, GTK+ has support for style variants. At the moment,
themes may provide a dark variant, which can be requested by
applications via GtkSettings. The requested variant is exported to
X11 via the _GTK_THEME_VARIANT property - support this property, in
order to pick up the correct style variant in the future.
https://bugzilla.gnome.org/show_bug.cgi?id=645355
NOTE: Patch is adapted for marco.
upstream commit:
https://gitlab.gnome.org/GNOME/metacity/commit/341d0945
Diffstat (limited to 'src/ui')
0 files changed, 0 insertions, 0 deletions