(widget, node, lineView, dims)
| 902 | } |
| 903 | |
| 904 | function positionLineWidget(widget, node, lineView, dims) { |
| 905 | if (widget.noHScroll) { |
| 906 | (lineView.alignable || (lineView.alignable = [])).push(node); |
| 907 | var width = dims.wrapperWidth; |
| 908 | node.style.left = dims.fixedPos + "px"; |
| 909 | if (!widget.coverGutter) { |
| 910 | width -= dims.gutterTotalWidth; |
| 911 | node.style.paddingLeft = dims.gutterTotalWidth + "px"; |
| 912 | } |
| 913 | node.style.width = width + "px"; |
| 914 | } |
| 915 | if (widget.coverGutter) { |
| 916 | node.style.zIndex = 5; |
| 917 | node.style.position = "relative"; |
| 918 | if (!widget.noHScroll) node.style.marginLeft = -dims.gutterTotalWidth + "px"; |
| 919 | } |
| 920 | } |
| 921 | |
| 922 | // POSITION OBJECT |
| 923 |
no outgoing calls
no test coverage detected