diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2019-03-10 08:42:18 +0100 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2019-03-10 08:42:18 +0100 |
| commit | 347581e3b4d6ee47a05c9dacba79684a623f6f0f (patch) | |
| tree | d3536c3b2b5867f66a7ef913a95c75d7da045521 /src/forms_bitmap.cxx | |
| parent | 5f6efb741df8455aad0140768f5ef76b15ee7880 (diff) | |
X11 platform: use the Xft.dpi resource as basis for the initial GUI scaling factor
Previously, the display scaling factor value under gnome was sought in the gnome
database using the gnome_scale_factor() function. But that information is no
longer present.
File $HOME/.config/monitors.xml was also used to get that information.
Using the Xft.dpi X resource is simpler and more general because it's
effective both for gnome and KDE.
Diffstat (limited to 'src/forms_bitmap.cxx')
0 files changed, 0 insertions, 0 deletions