(lineObj)
| 3904 | } |
| 3905 | |
| 3906 | function widgetTopHeight(lineObj) { |
| 3907 | var height = 0 |
| 3908 | if (lineObj.widgets) { |
| 3909 | for (var i = 0; i < lineObj.widgets.length; ++i) { |
| 3910 | if (lineObj.widgets[i].above) { |
| 3911 | height += widgetHeight(lineObj.widgets[i]) |
| 3912 | } |
| 3913 | } |
| 3914 | } |
| 3915 | return height |
| 3916 | } |
| 3917 | |
| 3918 | // Converts a {top, bottom, left, right} box from line-local |
| 3919 | // coordinates into another coordinate system. Context may be one of |
no test coverage detected