diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2020-11-25 09:21:27 +0100 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2020-11-25 09:21:44 +0100 |
| commit | d7985607d6dd8308f104d84c778080731fa23c9a (patch) | |
| tree | ca5fec95303f861e782d0ae7f5a0b12d72fdf2e0 /documentation/make_pdf | |
| parent | c70a091fa3bfbaa4e28d456a3dac7214217aa206 (diff) | |
Fix for issue #123 - X11 platform
As discussed, only the window position becomes rounded to nearest integer value
when a fractional GUI scale factor is applied.
Diffstat (limited to 'documentation/make_pdf')
0 files changed, 0 insertions, 0 deletions