Closed
Bug 1265816
Opened 9 years ago
Closed 9 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•9 years ago
|
||
Attachment #8742944 -
Flags: review?(bgrinstead)
|
|
Assignee | |
Comment 2•9 years ago
|
||
|
||
Comment 3•9 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•9 years ago
|
||
| bugherder | ||
Status: ASSIGNED → RESOLVED
Closed: 9 years ago
status-firefox48:
--- → fixed
Resolution: --- → FIXED
Target Milestone: --- → Firefox 48
|
||
Updated•7 years ago
|
Product: Firefox → DevTools
You need to log in
before you can comment on or make changes to this bug.
Description
•