(lineView)
| 3316 | // Lines with gutter elements, widgets or a background class need to |
| 3317 | // be wrapped, and have the extra elements added to the wrapper div |
| 3318 | function ensureLineWrapped(lineView) { |
| 3319 | if (lineView.node == lineView.text) { |
| 3320 | lineView.node = elt("div", null, null, "position: relative") |
| 3321 | if (lineView.text.parentNode) { |
| 3322 | lineView.text.parentNode.replaceChild(lineView.node, lineView.text) |
| 3323 | } |
| 3324 | lineView.node.appendChild(lineView.text) |
| 3325 | if (ie && ie_version < 8) { |
| 3326 | lineView.node.style.zIndex = 2 |
| 3327 | } |
| 3328 | } |
| 3329 | return lineView.node |
| 3330 | } |
| 3331 | |
| 3332 | function updateLineBackground(cm, lineView) { |
| 3333 | var cls = lineView.bgClass ? lineView.bgClass + " " + (lineView.line.bgClass || "") : lineView.line.bgClass |
no test coverage detected