(line)
| 822 | // Read and store the height of line widgets associated with the |
| 823 | // given line. |
| 824 | function updateWidgetHeight(line) { |
| 825 | if (line.widgets) for (var i = 0; i < line.widgets.length; ++i) |
| 826 | line.widgets[i].height = line.widgets[i].node.parentNode.offsetHeight; |
| 827 | } |
| 828 | |
| 829 | // Do a bulk-read of the DOM positions and sizes needed to draw the |
| 830 | // view, so that we don't interleave reading and writing to the DOM. |
no outgoing calls
no test coverage detected