(node)
| 727 | var container = display.lineDiv, cur = container.firstChild; |
| 728 | |
| 729 | function rm(node) { |
| 730 | var next = node.nextSibling; |
| 731 | // Works around a throw-scroll bug in OS X Webkit |
| 732 | if (webkit && mac && cm.display.currentWheelTarget == node) |
| 733 | node.style.display = "none"; |
| 734 | else |
| 735 | node.parentNode.removeChild(node); |
| 736 | return next; |
| 737 | } |
| 738 | |
| 739 | var view = display.view, lineN = display.viewFrom; |
| 740 | // Loop over the elements in the view, syncing cur (the DOM nodes |