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