diff options
| author | Furkan Sahin <furkan-dev@proton.me> | 2021-02-22 13:32:07 +0200 |
|---|---|---|
| committer | Furkan Sahin <furkan-dev@proton.me> | 2021-02-22 13:32:07 +0200 |
| commit | e57af5f9e53d76068a54554c745b8cc16e86c9a9 (patch) | |
| tree | 1d65c61f6287ba1be3a03d3f492d17ae5b046cd0 /contrib | |
| parent | 1d9090c7adbe995dd31d2b7f491e319d23025f24 (diff) | |
Fix #5643, #5064: rounding issues in floating-point -> integer conversions
Currently, various floating-point expressions involving
the coordinates of borders, titlebars and content surfaces
are directly assigned to integers, and so they are rounded
towards zero.
This results in off-by-one distances between these elements
when the signs of their coordinates differ.
Fixed by wrapping these expressions with a call to
floor before the assignment.
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions