(widget, node, lineView, dims)
| 3496 | } |
| 3497 | |
| 3498 | function positionLineWidget(widget, node, lineView, dims) { |
| 3499 | if (widget.noHScroll) { |
| 3500 | ;(lineView.alignable || (lineView.alignable = [])).push(node) |
| 3501 | var width = dims.wrapperWidth |
| 3502 | node.style.left = dims.fixedPos + "px" |
| 3503 | if (!widget.coverGutter) { |
| 3504 | width -= dims.gutterTotalWidth |
| 3505 | node.style.paddingLeft = dims.gutterTotalWidth + "px" |
| 3506 | } |
| 3507 | node.style.width = width + "px" |
| 3508 | } |
| 3509 | if (widget.coverGutter) { |
| 3510 | node.style.zIndex = 5 |
| 3511 | node.style.position = "relative" |
| 3512 | if (!widget.noHScroll) { |
| 3513 | node.style.marginLeft = -dims.gutterTotalWidth + "px" |
| 3514 | } |
| 3515 | } |
| 3516 | } |
| 3517 | |
| 3518 | function widgetHeight(widget) { |
| 3519 | if (widget.height != null) { |
no outgoing calls
no test coverage detected