(widget, node, lineView, dims)
| 1057 | } |
| 1058 | |
| 1059 | function positionLineWidget(widget, node, lineView, dims) { |
| 1060 | if (widget.noHScroll) { |
| 1061 | (lineView.alignable || (lineView.alignable = [])).push(node); |
| 1062 | var width = dims.wrapperWidth; |
| 1063 | node.style.left = dims.fixedPos + "px"; |
| 1064 | if (!widget.coverGutter) { |
| 1065 | width -= dims.gutterTotalWidth; |
| 1066 | node.style.paddingLeft = dims.gutterTotalWidth + "px"; |
| 1067 | } |
| 1068 | node.style.width = width + "px"; |
| 1069 | } |
| 1070 | if (widget.coverGutter) { |
| 1071 | node.style.zIndex = 5; |
| 1072 | node.style.position = "relative"; |
| 1073 | if (!widget.noHScroll) node.style.marginLeft = -dims.gutterTotalWidth + "px"; |
| 1074 | } |
| 1075 | } |
| 1076 | |
| 1077 | // POSITION OBJECT |
| 1078 |
no outgoing calls
no test coverage detected