(node)
| 4197 | var container = display.lineDiv, cur = container.firstChild; |
| 4198 | |
| 4199 | function rm(node) { |
| 4200 | var next = node.nextSibling; |
| 4201 | // Works around a throw-scroll bug in OS X Webkit |
| 4202 | if (webkit && mac && cm.display.currentWheelTarget == node) |
| 4203 | { node.style.display = "none"; } |
| 4204 | else |
| 4205 | { node.parentNode.removeChild(node); } |
| 4206 | return next |
| 4207 | } |
| 4208 | |
| 4209 | var view = display.view, lineN = display.viewFrom; |
| 4210 | // Loop over the elements in the view, syncing cur (the DOM nodes |