diff options
| author | monsta <[email protected]> | 2019-07-30 12:15:31 +0300 |
|---|---|---|
| committer | Robert Antoni Buj Gelonch <[email protected]> | 2019-08-10 18:15:27 +0200 |
| commit | 8c352c4fed01b70fe109442cd5cfa7f8b19bcb5b (patch) | |
| tree | 37557a1fd64f5f45305f26413b6b055dbd9d135e /src/ui | |
| parent | 752751e4a676807aa9598a7b4b6c2a39e2e7ce76 (diff) | |
| download | marco-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.c | 2 |
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) |