(lineView)
| 906 | // Lines with gutter elements, widgets or a background class need to |
| 907 | // be wrapped, and have the extra elements added to the wrapper div |
| 908 | function ensureLineWrapped(lineView) { |
| 909 | if (lineView.node == lineView.text) { |
| 910 | lineView.node = elt("div", null, null, "position: relative"); |
| 911 | if (lineView.text.parentNode) |
| 912 | lineView.text.parentNode.replaceChild(lineView.node, lineView.text); |
| 913 | lineView.node.appendChild(lineView.text); |
| 914 | if (ie && ie_version < 8) lineView.node.style.zIndex = 2; |
| 915 | } |
| 916 | return lineView.node; |
| 917 | } |
| 918 | |
| 919 | function updateLineBackground(lineView) { |
| 920 | var cls = lineView.bgClass ? lineView.bgClass + " " + (lineView.line.bgClass || "") : lineView.line.bgClass; |
no test coverage detected