Closed Bug 1265816 Opened 8 years ago Closed 8 years ago

Update to CodeMirror 5.13.2

Categories

(DevTools :: Source Editor, defect, P2)

defect

Tracking

(firefox48 fixed)

RESOLVED FIXED
Firefox 48
Tracking Status
firefox48 --- fixed

People

(Reporter: gl, Assigned: gl)

References

(Blocks 1 open bug)

Details

Attachments

(1 file)

Looks like there is a 5.13.2 that was pushed to resolve a problem where the gutter would sometimes not extend all the way to the end of the document. We should land 5.13.2 before the merge.
Attached patch 1265816.patchSplinter Review
Attachment #8742944 - Flags: review?(bgrinstead)
Comment on attachment 8742944 [details] [diff] [review]
1265816.patch

Review of attachment 8742944 [details] [diff] [review]:
-----------------------------------------------------------------

Works for me
Attachment #8742944 - Flags: review?(bgrinstead) → review+
https://hg.mozilla.org/mozilla-central/rev/70bbd2e42d9d
Status: ASSIGNED → RESOLVED
Closed: 8 years ago
Resolution: --- → FIXED
Target Milestone: --- → Firefox 48
Product: Firefox → DevTools
You need to log in before you can comment on or make changes to this bug.