diff options
| author | Florian Müllner <[email protected]> | 2014-09-27 18:25:31 +0300 |
|---|---|---|
| committer | Victor Kareh <[email protected]> | 2018-08-28 09:38:37 -0400 |
| commit | 18bfff32531e13d18c53f9a990fdf48a2cd52673 (patch) | |
| tree | 8f6ada880c41f5a37a48457b4813d5fd11c8d76c /src/ui/draw-workspace.c | |
| parent | ed5eff6a2bf4a0d0a70d526726116d02442fdbac (diff) | |
| download | marco-18bfff32531e13d18c53f9a990fdf48a2cd52673.tar.bz2 marco-18bfff32531e13d18c53f9a990fdf48a2cd52673.tar.xz | |
theme: Allow using custom colors from the GTK+ theme
Add an additional color type to pick up colors defined with
@define-color in the GTK+ theme's CSS:
gtk:custom(name,fallback)
(where "name" refers to the name defined in GTK+'s CSS, and fallback
refers to an alternative color spec which is used when the color
referenced by "name" is not found)
The main intent of the change is to allow designers to improve
Adwaita's dark theme variant without having to compromise on colors
which work in the light variant as well.
https://bugzilla.gnome.org/show_bug.cgi?id=648709
NOTE: Patch copied from mutter and adapted for metacity.
Diffstat (limited to 'src/ui/draw-workspace.c')
0 files changed, 0 insertions, 0 deletions