(node)
| 834 | var container = display.lineDiv, cur = container.firstChild; |
| 835 | |
| 836 | function rm(node) { |
| 837 | var next = node.nextSibling; |
| 838 | // Works around a throw-scroll bug in OS X Webkit |
| 839 | if (webkit && mac && cm.display.currentWheelTarget == node) |
| 840 | node.style.display = "none"; |
| 841 | else |
| 842 | node.parentNode.removeChild(node); |
| 843 | return next; |
| 844 | } |
| 845 | |
| 846 | var view = display.view, lineN = display.viewFrom; |
| 847 | // Loop over the elements in the view, syncing cur (the DOM nodes |