(widget, node, wrap, dims)
| 760 | } |
| 761 | |
| 762 | function positionLineWidget(widget, node, wrap, dims) { |
| 763 | if (widget.noHScroll) { |
| 764 | (wrap.alignable || (wrap.alignable = [])).push(node); |
| 765 | var width = dims.wrapperWidth; |
| 766 | node.style.left = dims.fixedPos + "px"; |
| 767 | if (!widget.coverGutter) { |
| 768 | width -= dims.gutterTotalWidth; |
| 769 | node.style.paddingLeft = dims.gutterTotalWidth + "px"; |
| 770 | } |
| 771 | node.style.width = width + "px"; |
| 772 | } |
| 773 | if (widget.coverGutter) { |
| 774 | node.style.zIndex = 5; |
| 775 | node.style.position = "relative"; |
| 776 | if (!widget.noHScroll) node.style.marginLeft = -dims.gutterTotalWidth + "px"; |
| 777 | } |
| 778 | } |
| 779 | |
| 780 | // SELECTION / CURSOR |
| 781 |
no outgoing calls
no test coverage detected