diff options
| author | monsta <[email protected]> | 2019-07-30 12:15:31 +0300 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-09-12 15:15:45 +0200 |
| commit | 69ac1b6c5114e9b57091304b00087edb3bfbde6a (patch) | |
| tree | dcb9b4e79f0706facc02c1ed3a8ffbaa1dc15b04 | |
| parent | f781b4546f2a94ff050e1585f273d8105c1a54a2 (diff) | |
| download | marco-69ac1b6c5114e9b57091304b00087edb3bfbde6a.tar.bz2 marco-69ac1b6c5114e9b57091304b00087edb3bfbde6a.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
| -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 52001c7d..f2d67918 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) |