diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2020-12-01 16:57:55 +0100 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2020-12-01 16:58:08 +0100 |
| commit | 4171cbe0befc3d9cc1367e0d715fb1dee622d376 (patch) | |
| tree | e99de3ef3db03d25a66b269abadcd6b197f34d99 /src/drivers/Android/Fl_Android_Window_Driver.cxx | |
| parent | 4531c6c48f5d49b04c6363494ccfb6a6156e1722 (diff) | |
Windows scaling: fix computation of border sizes.
The corrected error was to use, e.g.,
int dx = W - w->w() * s;
which does not produce the desired integer value.
The correct writing is :
int dx = W - int(w->w() * s);
Diffstat (limited to 'src/drivers/Android/Fl_Android_Window_Driver.cxx')
0 files changed, 0 insertions, 0 deletions