(node)
| 712 | var container = display.lineDiv, cur = container.firstChild; |
| 713 | |
| 714 | function rm(node) { |
| 715 | var next = node.nextSibling; |
| 716 | // Works around a throw-scroll bug in OS X Webkit |
| 717 | if (webkit && mac && cm.display.currentWheelTarget == node) |
| 718 | node.style.display = "none"; |
| 719 | else |
| 720 | node.parentNode.removeChild(node); |
| 721 | return next; |
| 722 | } |
| 723 | |
| 724 | var view = display.view, lineN = display.viewFrom; |
| 725 | // Loop over the elements in the view, syncing cur (the DOM nodes |
no test coverage detected