(cm, lineView, lineN, dims)
| 968 | } |
| 969 | |
| 970 | function updateLineGutter(cm, lineView, lineN, dims) { |
| 971 | if (lineView.gutter) { |
| 972 | lineView.node.removeChild(lineView.gutter); |
| 973 | lineView.gutter = null; |
| 974 | } |
| 975 | if (lineView.gutterBackground) { |
| 976 | lineView.node.removeChild(lineView.gutterBackground); |
| 977 | lineView.gutterBackground = null; |
| 978 | } |
| 979 | if (lineView.line.gutterClass) { |
| 980 | var wrap = ensureLineWrapped(lineView); |
| 981 | lineView.gutterBackground = elt("div", null, "CodeMirror-gutter-background " + lineView.line.gutterClass, |
| 982 | "left: " + (cm.options.fixedGutter ? dims.fixedPos : -dims.gutterTotalWidth) + |
| 983 | "px; width: " + dims.gutterTotalWidth + "px"); |
| 984 | wrap.insertBefore(lineView.gutterBackground, lineView.text); |
| 985 | } |
| 986 | var markers = lineView.line.gutterMarkers; |
| 987 | if (cm.options.lineNumbers || markers) { |
| 988 | var wrap = ensureLineWrapped(lineView); |
| 989 | var gutterWrap = lineView.gutter = elt("div", null, "CodeMirror-gutter-wrapper", "left: " + |
| 990 | (cm.options.fixedGutter ? dims.fixedPos : -dims.gutterTotalWidth) + "px"); |
| 991 | cm.display.input.setUneditable(gutterWrap); |
| 992 | wrap.insertBefore(gutterWrap, lineView.text); |
| 993 | if (lineView.line.gutterClass) |
| 994 | gutterWrap.className += " " + lineView.line.gutterClass; |
| 995 | if (cm.options.lineNumbers && (!markers || !markers["CodeMirror-linenumbers"])) |
| 996 | lineView.lineNumber = gutterWrap.appendChild( |
| 997 | elt("div", lineNumberFor(cm.options, lineN), |
| 998 | "CodeMirror-linenumber CodeMirror-gutter-elt", |
| 999 | "left: " + dims.gutterLeft["CodeMirror-linenumbers"] + "px; width: " |
| 1000 | + cm.display.lineNumInnerWidth + "px")); |
| 1001 | if (markers) for (var k = 0; k < cm.options.gutters.length; ++k) { |
| 1002 | var id = cm.options.gutters[k], found = markers.hasOwnProperty(id) && markers[id]; |
| 1003 | if (found) |
| 1004 | gutterWrap.appendChild(elt("div", [found], "CodeMirror-gutter-elt", "left: " + |
| 1005 | dims.gutterLeft[id] + "px; width: " + dims.gutterWidth[id] + "px")); |
| 1006 | } |
| 1007 | } |
| 1008 | } |
| 1009 | |
| 1010 | function updateLineWidgets(cm, lineView, dims) { |
| 1011 | if (lineView.alignable) lineView.alignable = null; |
no test coverage detected