diff options
| author | Florian Müllner <[email protected]> | 2011-08-07 18:55:30 +0200 |
|---|---|---|
| committer | Victor Kareh <[email protected]> | 2018-08-28 09:38:37 -0400 |
| commit | 6203779411c96ed94f1e57a4514e42aa3eb024b7 (patch) | |
| tree | 53855747e8bab4d20f35a6a34c343b60fd98526c /src/ui/theme-parser.h | |
| parent | 18bfff32531e13d18c53f9a990fdf48a2cd52673 (diff) | |
| download | marco-6203779411c96ed94f1e57a4514e42aa3eb024b7.tar.bz2 marco-6203779411c96ed94f1e57a4514e42aa3eb024b7.tar.xz | |
theme: Allow disabling fallback colors in gtk:custom()
gtk:custom() requires a fallback color in case the GTK+ theme in use
does not define the desired color. As in general the fallback color
will approximate the intended color, there is the risk of typos going
unnoticed. To make catching these kind of errors easier, allow to ignore
the fallback color specified (and fall back to a nice shade of pink
instead) by setting an environment variable.
https://bugzilla.gnome.org/show_bug.cgi?id=656112
Diffstat (limited to 'src/ui/theme-parser.h')
0 files changed, 0 insertions, 0 deletions