diff options
| author | Charles <charles@cdaniels.net> | 2021-04-14 16:22:01 -0400 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-04-17 13:25:56 +0300 |
| commit | 0b2764367310a58b94e89c8797131eee1af0f96c (patch) | |
| tree | dec8dc70d2d785fe7d519e1a4ef84555688cfa04 /src/bookmarks.h | |
| parent | 6a4a7ae9fbbcdb3210702ca0e818c79144df6989 (diff) | |
if LAGRANGE_OVERRIDE_DPI is set, use that as the DPI
If the setting is invalid (e.g. the variable is set to something which
is not an integer), then a warning is printed to standard error, and the
environment variable is ignored. If the environment variable is an empty
string, it is also ignored.
Diffstat (limited to 'src/bookmarks.h')
0 files changed, 0 insertions, 0 deletions