(cm, lineView, dims)
| 1010 | } |
| 1011 | |
| 1012 | function updateLineWidgets(cm, lineView, dims) { |
| 1013 | if (lineView.alignable) lineView.alignable = null; |
| 1014 | for (var node = lineView.node.firstChild, next; node; node = next) { |
| 1015 | var next = node.nextSibling; |
| 1016 | if (node.className == "CodeMirror-linewidget") |
| 1017 | lineView.node.removeChild(node); |
| 1018 | } |
| 1019 | insertLineWidgets(cm, lineView, dims); |
| 1020 | } |
| 1021 | |
| 1022 | // Build a line's DOM representation from scratch |
| 1023 | function buildLineElement(cm, lineView, lineN, dims) { |
no test coverage detected