(node)
| 853 | var container = display.lineDiv, cur = container.firstChild; |
| 854 | |
| 855 | function rm(node) { |
| 856 | var next = node.nextSibling; |
| 857 | // Works around a throw-scroll bug in OS X Webkit |
| 858 | if (webkit && mac && cm.display.currentWheelTarget == node) |
| 859 | node.style.display = "none"; |
| 860 | else |
| 861 | node.parentNode.removeChild(node); |
| 862 | return next; |
| 863 | } |
| 864 | |
| 865 | var view = display.view, lineN = display.viewFrom; |
| 866 | // Loop over the elements in the view, syncing cur (the DOM nodes |