(line, text, markedSpans, estimateHeight)
| 5503 | // invalidates cached information and tries to re-estimate the |
| 5504 | // line's height. |
| 5505 | function updateLine(line, text, markedSpans, estimateHeight) { |
| 5506 | line.text = text; |
| 5507 | if (line.stateAfter) line.stateAfter = null; |
| 5508 | if (line.styles) line.styles = null; |
| 5509 | if (line.order != null) line.order = null; |
| 5510 | detachMarkedSpans(line); |
| 5511 | attachMarkedSpans(line, markedSpans); |
| 5512 | var estHeight = estimateHeight ? estimateHeight(line) : 1; |
| 5513 | if (estHeight != line.height) updateLineHeight(line, estHeight); |
| 5514 | } |
| 5515 | |
| 5516 | // Detach a line from the document tree and its markers. |
| 5517 | function cleanUpLine(line) { |
no test coverage detected