(cm, lineView, dims)
| 981 | } |
| 982 | |
| 983 | function updateLineWidgets(cm, lineView, dims) { |
| 984 | if (lineView.alignable) lineView.alignable = null; |
| 985 | for (var node = lineView.node.firstChild, next; node; node = next) { |
| 986 | var next = node.nextSibling; |
| 987 | if (node.className == "CodeMirror-linewidget") |
| 988 | lineView.node.removeChild(node); |
| 989 | } |
| 990 | insertLineWidgets(cm, lineView, dims); |
| 991 | } |
| 992 | |
| 993 | // Build a line's DOM representation from scratch |
| 994 | function buildLineElement(cm, lineView, lineN, dims) { |
no test coverage detected