diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2019-02-19 14:54:34 +0100 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2019-02-19 14:54:34 +0100 |
| commit | 96867f831856e7baf421e4f2b5b28f62a08c3b81 (patch) | |
| tree | fdab7c1d0c095c51259fd12c92796a795d557338 /src/drivers/WinAPI/Fl_WinAPI_Screen_Driver.cxx | |
| parent | 11ed18a52e4b27c74d1aab3813aa41b0d1507d3f (diff) | |
X11 + gnome: improve detection of the current display scale factor
Gnome now seems to store the value of the display scale factor in file
$HOME/.config/monitor.xml. Previously, that value was readable with
the gsettings command.
The present commit uses the information found in that file
and reverts back to the gsettings command if that information is not found.
Diffstat (limited to 'src/drivers/WinAPI/Fl_WinAPI_Screen_Driver.cxx')
0 files changed, 0 insertions, 0 deletions