(cm, lineView, dims)
| 3433 | } |
| 3434 | |
| 3435 | function updateLineWidgets(cm, lineView, dims) { |
| 3436 | if (lineView.alignable) { |
| 3437 | lineView.alignable = null |
| 3438 | } |
| 3439 | for (var node = lineView.node.firstChild, next = void 0; node; node = next) { |
| 3440 | next = node.nextSibling |
| 3441 | if (node.className == "CodeMirror-linewidget") { |
| 3442 | lineView.node.removeChild(node) |
| 3443 | } |
| 3444 | } |
| 3445 | insertLineWidgets(cm, lineView, dims) |
| 3446 | } |
| 3447 | |
| 3448 | // Build a line's DOM representation from scratch |
| 3449 | function buildLineElement(cm, lineView, lineN, dims) { |
no test coverage detected