(doc, from, to)
| 7555 | } |
| 7556 | // Get the lines between from and to, as array of strings. |
| 7557 | function getLines(doc, from, to) { |
| 7558 | var out = []; |
| 7559 | doc.iter(from, to, function(line) { out.push(line.text); }); |
| 7560 | return out; |
| 7561 | } |
| 7562 | |
| 7563 | // Update the height of a line, propagating the height change |
| 7564 | // upwards to parent nodes. |