diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2019-03-11 16:20:29 +0100 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2019-03-11 16:20:29 +0100 |
| commit | 4e2ba8c888d650f566d43f58a525566c97f55a35 (patch) | |
| tree | 96da156f00820720ee66e371dc4731fa4312cc5c /src/drivers/PicoAndroid | |
| parent | 347581e3b4d6ee47a05c9dacba79684a623f6f0f (diff) | |
X11 platform: follow when the OS changes the Xft.dpi resource
Under gnome, Tweaks -> Fonts ->Scaling factor allows to change
the size of all fonts handled by gnome.
With that change, FLTK apps obey to changes to Xft.dpi.
Diffstat (limited to 'src/drivers/PicoAndroid')
0 files changed, 0 insertions, 0 deletions