(line, height)
| 7794 | // Update the height of a line, propagating the height change |
| 7795 | // upwards to parent nodes. |
| 7796 | function updateLineHeight(line, height) { |
| 7797 | var diff = height - line.height; |
| 7798 | if (diff) for (var n = line; n; n = n.parent) n.height += diff; |
| 7799 | } |
| 7800 | |
| 7801 | // Given a line object, find its line number by walking up through |
| 7802 | // its parent links. |
no outgoing calls
no test coverage detected