(line)
| 2814 | |
| 2815 | // Detach a line from the document tree and its markers. |
| 2816 | function cleanUpLine(line) { |
| 2817 | line.parent = null |
| 2818 | detachMarkedSpans(line) |
| 2819 | } |
| 2820 | |
| 2821 | // Convert a style as returned by a mode (either null, or a string |
| 2822 | // containing one or more styles) to a CSS style. This is cached, |
no test coverage detected