diff options
author | Florian Müllner <fmuellner@gnome.org> | 2012-11-06 18:17:35 +0100 |
---|---|---|
committer | Alberts Muktupāvels <alberts.muktupavels@gmail.com> | 2014-10-08 18:59:12 +0300 |
commit | 6b0d325442b995a78b8783384f7ec370db1369a4 (patch) | |
tree | c3c74f98130e8e1229055d889fae93aabedd421b | |
parent | e4fde7b0c02cf5e90cf17b3e99f13bd9ffad7584 (diff) | |
download | metacity-6b0d325442b995a78b8783384f7ec370db1369a4.tar.gz |
frames: Bump priority of style providers
Since GTK+ commit b1ad5c8abc2c, GtkSetting's CSS provider uses a
priority of GTK_STYLE_PROVIDER_PRIORITY_SETTINGS, which means it
will overwrite the ones we create ourselves.
Bump the priority to fix dark window decorations.
https://bugzilla.gnome.org/show_bug.cgi?id=688182
-rw-r--r-- | src/ui/frames.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ui/frames.c b/src/ui/frames.c index f73fe430..bfe468e0 100644 --- a/src/ui/frames.c +++ b/src/ui/frames.c @@ -210,7 +210,7 @@ create_style_context (MetaFrames *frames, provider = gtk_css_provider_get_named (theme_name, variant); gtk_style_context_add_provider (style, GTK_STYLE_PROVIDER (provider), - GTK_STYLE_PROVIDER_PRIORITY_THEME); + GTK_STYLE_PROVIDER_PRIORITY_SETTINGS); } if (theme_name) |