Closed
Bug 1634606
Opened 5 years ago
Closed 5 years ago
[wayland] Round popup anchor rect to outside pixels
Categories
(Core :: Widget: Gtk, defect)
Core
Widget: Gtk
Tracking
()
RESOLVED
FIXED
mozilla78
| Tracking | Status | |
|---|---|---|
| firefox78 | --- | fixed |
People
(Reporter: emilio, Assigned: emilio)
References
(Blocks 1 open bug)
Details
Attachments
(1 file)
Otherwise you can get line wrapping and such, if you happen to round down. I've seen it quite a lot on the last few nightlies.
|
Assignee | |
Comment 1•5 years ago
|
||
Rounding to nearest means that if you get a fractional pixel like 10.2px
you round down to 10, which means that the popup text may wrap
undesirably. I've seen this a bunch lately.
Pushed by ealvarez@mozilla.com:
https://hg.mozilla.org/integration/autoland/rev/bd30c664882d
Round wayland popup anchor rect to outside pixels. r=stransky
|
||
Comment 3•5 years ago
|
||
| bugherder | ||
Status: NEW → RESOLVED
Closed: 5 years ago
status-firefox78:
--- → fixed
Resolution: --- → FIXED
Target Milestone: --- → mozilla78
You need to log in
before you can comment on or make changes to this bug.
Description
•