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/core | |
| 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/core')
0 files changed, 0 insertions, 0 deletions