Function postUpdateDisplay

external/.scrollLibs.js:5989–6022

(cm, update)

  }

  function postUpdateDisplay(cm, update) {
    var viewport = update.viewport

    for (var first = true; ; first = false) {
      if (!first || !cm.options.lineWrapping || update.oldDisplayWidth == displayWidth(cm)) {
        // Clip forced viewport to actual scrollable area.
        if (viewport && viewport.top != null) {
          viewport = { top: Math.min(cm.doc.height + paddingVert(cm.display) - displayHeight(cm), viewport.top) }
        }
        // Updated line heights might result in the drawn area not
        // actually covering the viewport. Keep looping until it does.
        update.visible = visibleLines(cm.display, cm.doc, viewport)
        if (update.visible.from >= cm.display.viewFrom && update.visible.to <= cm.display.viewTo) {
          break
        }
      }
      if (!updateDisplayIfNeeded(cm, update)) {
        break
      }
      updateHeightsInViewport(cm)
      var barMeasure = measureForScrollbars(cm)
      updateSelection(cm)
      updateScrollbars(cm, barMeasure)
      setDocumentHeight(cm, barMeasure)
      update.force = false
    }

    update.signal(cm, "update", cm)
    if (cm.display.viewFrom != cm.display.reportedViewFrom || cm.display.viewTo != cm.display.reportedViewTo) {
      update.signal(cm, "viewportChange", cm, cm.display.viewFrom, cm.display.viewTo)
      cm.display.reportedViewFrom = cm.display.viewFrom
      cm.display.reportedViewTo = cm.display.viewTo
    }
  }

  function updateDisplaySimple(cm, viewport) {
    var update = new DisplayUpdate(cm, viewport)