(doc, from, to)
| 7786 | } |
| 7787 | // Get the lines between from and to, as array of strings. |
| 7788 | function getLines(doc, from, to) { |
| 7789 | var out = []; |
| 7790 | doc.iter(from, to, function(line) { out.push(line.text); }); |
| 7791 | return out; |
| 7792 | } |
| 7793 | |
| 7794 | // Update the height of a line, propagating the height change |
| 7795 | // upwards to parent nodes. |