(widget, node, wrap, dims)
| 703 | } |
| 704 | |
| 705 | function positionLineWidget(widget, node, wrap, dims) { |
| 706 | if (widget.noHScroll) { |
| 707 | (wrap.alignable || (wrap.alignable = [])).push(node); |
| 708 | var width = dims.wrapperWidth; |
| 709 | node.style.left = dims.fixedPos + "px"; |
| 710 | if (!widget.coverGutter) { |
| 711 | width -= dims.gutterTotalWidth; |
| 712 | node.style.paddingLeft = dims.gutterTotalWidth + "px"; |
| 713 | } |
| 714 | node.style.width = width + "px"; |
| 715 | } |
| 716 | if (widget.coverGutter) { |
| 717 | node.style.zIndex = 5; |
| 718 | node.style.position = "relative"; |
| 719 | if (!widget.noHScroll) node.style.marginLeft = -dims.gutterTotalWidth + "px"; |
| 720 | } |
| 721 | } |
| 722 | |
| 723 | // SELECTION / CURSOR |
| 724 |
no test coverage detected