Closed
Bug 1265816
Opened 8 years ago
Closed 8 years ago
Update to CodeMirror 5.13.2
Categories
(DevTools :: Source Editor, defect, P2)
DevTools
Source Editor
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)
15.57 KB,
patch
|
bgrins
:
review+
|
Details | Diff | Splinter Review |
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.
Assignee | ||
Comment 1•8 years ago
|
||
Attachment #8742944 -
Flags: review?(bgrinstead)
Assignee | ||
Comment 2•8 years ago
|
||
https://treeherder.mozilla.org/#/jobs?repo=try&revision=c5da629d5581
Comment 3•8 years ago
|
||
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+
Comment 5•8 years ago
|
||
bugherder |
https://hg.mozilla.org/mozilla-central/rev/70bbd2e42d9d
Status: ASSIGNED → RESOLVED
Closed: 8 years ago
status-firefox48:
--- → fixed
Resolution: --- → FIXED
Target Milestone: --- → Firefox 48
Updated•6 years ago
|
Product: Firefox → DevTools
You need to log in
before you can comment on or make changes to this bug.
Description
•