diff options
| author | Victor Kareh <[email protected]> | 2019-05-21 13:55:53 -0400 |
|---|---|---|
| committer | Victor Kareh <[email protected]> | 2019-06-05 10:49:37 -0400 |
| commit | b08c0e992141ffb321289fefe88200b2de3c9c72 (patch) | |
| tree | f4d2fe25c0afe6d36714c3d01daef6364fb5b23a /src/core/place.h | |
| parent | 22aca3fcb271f557a65d474bce4eb2a115dd09fb (diff) | |
| download | marco-b08c0e992141ffb321289fefe88200b2de3c9c72.tar.bz2 marco-b08c0e992141ffb321289fefe88200b2de3c9c72.tar.xz | |
ui-frame: Add support for style variants
Rather than sharing a single style context between all frames, use
a default style and one style per encountered variant. The value of
the _GTK_THEME_VARIANT property should determine which style is
attached to a particular frame, though for the time being the default
style is used for every frame, as the window property cannot be
accessed at the time the style is attached. This will be fixed in
a later commit.
https://bugzilla.gnome.org/show_bug.cgi?id=645355
upstream commit:
https://gitlab.gnome.org/GNOME/metacity/commit/04d8135f
Diffstat (limited to 'src/core/place.h')
0 files changed, 0 insertions, 0 deletions