diff options
| author | Dimitris Triantafyllidis <dtr@localhost.localdomain> | 2021-02-22 13:32:07 +0200 |
|---|---|---|
| committer | Tudor Brindus <me@tbrindus.ca> | 2021-02-22 21:23:35 -0500 |
| commit | aac1582ea90897a25408a520b8f3bde0552a69cc (patch) | |
| tree | 1d65c61f6287ba1be3a03d3f492d17ae5b046cd0 /common | |
| parent | 1a6471be172fc2da75bbc5b7e6e3b3c99dbafc51 (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 'common')
0 files changed, 0 insertions, 0 deletions