(lineView, dims)
| 856 | } |
| 857 | |
| 858 | function updateLineWidgets(lineView, dims) { |
| 859 | if (lineView.alignable) lineView.alignable = null; |
| 860 | for (var node = lineView.node.firstChild, next; node; node = next) { |
| 861 | var next = node.nextSibling; |
| 862 | if (node.className == "CodeMirror-linewidget") |
| 863 | lineView.node.removeChild(node); |
| 864 | } |
| 865 | insertLineWidgets(lineView, dims); |
| 866 | } |
| 867 | |
| 868 | // Build a line's DOM representation from scratch |
| 869 | function buildLineElement(cm, lineView, lineN, dims) { |
no test coverage detected