Closed Bug 964504 Opened 6 years ago Closed 6 years ago

Add an API for increasing, decreasing font size

Categories

(DevTools :: Source Editor, defect, P3)

x86
macOS
defect

Tracking

(Not tracked)

VERIFIED FIXED
Firefox 30

People

(Reporter: anton, Assigned: anton)

References

Details

Attachments

(1 file, 1 obsolete file)

No description provided.
Attached patch WIP 1 (obsolete) — Splinter Review
Instead of increasing/decreasing font size I added methods to get and set font size. Increasing/decreasing can be implemented by Editor users themselves:

  function inc(ed) { ed.setFontSize(ed.getFontSize() + 1) }
  function dec(ed) { ed.setFontSize(ed.getFontSize() - 1) }
Attachment #8366353 - Flags: review?(mihai.sucan)
Attachment #8366353 - Flags: review?(mihai.sucan) → review+
Whiteboard: [fixed-in-fx-team]
Attached patch WIP 2Splinter Review
Updated tests to be platform independent.
Attachment #8366353 - Attachment is obsolete: true
Attachment #8373790 - Flags: review+
https://hg.mozilla.org/mozilla-central/rev/7f87f361e355
Status: ASSIGNED → RESOLVED
Closed: 6 years ago
Flags: in-testsuite+
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.