diff options
| author | Victor Kareh <[email protected]> | 2019-05-21 13:38:37 -0400 |
|---|---|---|
| committer | Victor Kareh <[email protected]> | 2019-06-05 10:49:37 -0400 |
| commit | b0a9363a46746a942841ce79766a0d0f96d51d45 (patch) | |
| tree | c9fb8016c53f0af75631f0cc9a9e097da9fb54f4 /src/ui/fixedtip.h | |
| parent | b57ab969c03612a0aaa1d9d8b6c0d67d13d9281f (diff) | |
| download | marco-b0a9363a46746a942841ce79766a0d0f96d51d45.tar.bz2 marco-b0a9363a46746a942841ce79766a0d0f96d51d45.tar.xz | |
core: Allow retrieving the theme variant via core_get()
To associate frames with the correct style variant, the UI will
need access to the window's theme variant property.
https://bugzilla.gnome.org/show_bug.cgi?id=645355
upstream commit:
https://gitlab.gnome.org/GNOME/metacity/commit/5c7403cc
Diffstat (limited to 'src/ui/fixedtip.h')
0 files changed, 0 insertions, 0 deletions