Open
Bug 1647356
Opened 4 years ago
Updated 3 years ago
Make some borders one device pixel in the Firefox front-end.
Categories
(Firefox :: Theme, enhancement)
Tracking
()
REOPENED
Firefox 79
People
(Reporter: emilio, Assigned: emilio)
References
(Depends on 1 open bug)
Details
Attachments
(1 obsolete file)
Per the discussion in https://phabricator.services.mozilla.com/D79602 we probably want this change, so splitting to a meaningful bug.
|
Assignee | |
Comment 1•4 years ago
|
||
Note that this means that in HiDPI displays these borders will still be
1 device pixel, rather than one CSS pixel, so this technically is a
minor change for such displays.
|
|
Assignee | |
Updated•4 years ago
|
Type: defect → enhancement
Pushed by ealvarez@mozilla.com:
https://hg.mozilla.org/integration/autoland/rev/9b4e057f8cd9
Make some borders one device pixel, to ensure they're not fractional. r=dao
|
||
Updated•4 years ago
|
Component: General → Theme
|
||
Comment 3•4 years ago
|
||
| bugherder | ||
Status: NEW → RESOLVED
Closed: 4 years ago
status-firefox79:
--- → fixed
Resolution: --- → FIXED
Target Milestone: --- → Firefox 79
|
||
Comment 4•4 years ago
|
||
Backed out for causing for causing bug 1648265 as per request.
Backout by ncsoregi@mozilla.com:
https://hg.mozilla.org/integration/autoland/rev/48988c70e385
Backed out changeset 9b4e057f8cd9 for causing bug 1648265. CLOSED TREE
|
||
Updated•4 years ago
|
Attachment #9158240 -
Attachment is obsolete: true
You need to log in
before you can comment on or make changes to this bug.
Description
•