Closed Bug 977345 Opened 6 years ago Closed 6 years ago

Editor should refresh when font size changes

Categories

(DevTools :: Source Editor, defect)

x86
macOS
defect
Not set

Tracking

(Not tracked)

VERIFIED FIXED
Firefox 30

People

(Reporter: anton, Assigned: anton)

Details

Attachments

(1 file)

Otherwise line height gets all screwed up.
Attached patch refresh.patchSplinter Review
Assignee: nobody → anton
Status: NEW → ASSIGNED
Attachment #8382571 - Flags: review?(rcampbell)
Attachment #8382571 - Flags: review?(rcampbell) → review+
https://hg.mozilla.org/mozilla-central/rev/3065c1488d1d
Status: ASSIGNED → RESOLVED
Closed: 6 years ago
Resolution: --- → FIXED
Whiteboard: [fixed-in-fx-team]
Target Milestone: --- → Firefox 30
Status: RESOLVED → VERIFIED
Product: Firefox → DevTools
You need to log in before you can comment on or make changes to this bug.