summaryrefslogtreecommitdiff
path: root/src/ui
diff options
context:
space:
mode:
authormonsta <[email protected]>2019-07-30 12:15:31 +0300
committerRobert Antoni Buj Gelonch <[email protected]>2019-08-10 18:15:27 +0200
commit8c352c4fed01b70fe109442cd5cfa7f8b19bcb5b (patch)
tree37557a1fd64f5f45305f26413b6b055dbd9d135e /src/ui
parent752751e4a676807aa9598a7b4b6c2a39e2e7ce76 (diff)
downloadmarco-8c352c4fed01b70fe109442cd5cfa7f8b19bcb5b.tar.bz2
marco-8c352c4fed01b70fe109442cd5cfa7f8b19bcb5b.tar.xz
frames: bump priority of style providers
finally, apps that prefer dark theme variant (gtk-application-prefer-dark-theme in GtkSettings) should also have dark window decorations taken from: https://github.com/GNOME/metacity/commit/6b0d325442b995a78b8783384f7ec370db1369a4
Diffstat (limited to 'src/ui')
-rw-r--r--src/ui/frames.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ui/frames.c b/src/ui/frames.c
index 3fedc4fe..82739208 100644
--- a/src/ui/frames.c
+++ b/src/ui/frames.c
@@ -200,7 +200,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)