Function resetView

external/.scrollLibs.js:5679–5683

(cm)

  // Clear the view.
  function resetView(cm) {
    cm.display.viewFrom = cm.display.viewTo = cm.doc.first
    cm.display.view = []
    cm.display.viewOffset = 0
  }

  function viewCuttingPoint(cm, oldN, newN, dir) {
    var index = findViewIndex(cm, oldN),