Closed
Bug 858764
Opened 12 years ago
Closed 5 years ago
The source editor should maybe not specify fixed px font sizes
Categories
(DevTools :: Source Editor, defect, P3)
DevTools
Source Editor
Tracking
(Not tracked)
RESOLVED
WORKSFORME
People
(Reporter: vporof, Unassigned)
References
Details
Attachments
(1 file)
|
(deleted),
image/png
|
Details |
screenshot
Because fonts end up looking very disproportional to across operating systems relative to other elements.
I mean, just look at the screenshot :) It's pretty hideous. Nothing else in the UI specifies font sizes (afaik not even percentages, so that's the default system font size in that particular case).
|
||
Comment 1•12 years ago
|
||
I believe this is a duplicate of bug 760825.
|
||
Updated•11 years ago
|
Priority: -- → P3
|
||
Updated•6 years ago
|
Product: Firefox → DevTools
|
||
Comment 2•5 years ago
|
||
The debugger has been re-written since this bug was filed, and I believe this bug was fixed.
Status: NEW → RESOLVED
Closed: 5 years ago
Resolution: --- → WORKSFORME
|
||
Comment 3•5 years ago
|
||
I'll add that a lot of the issues we've seen with font sizes where Firefox on Linux picking up the OS's default font-size (values like 14.5px or 16px), while on Windows and macOS we usually pick up a default font-size of 11px.
We've fixed most of those issues around October 2018 I believe (by explicitly declaring that we want font-size: 11px).
We can still run into this issue when using the font shorthand like:
font: menu; /* resets the font-size and line-height */
So we have to declare a font-size at least in those instances:
font: menu; /* resets the font-size and line-height */
font-size: var(--theme-body-font-size);
You need to log in
before you can comment on or make changes to this bug.
Description
•