Function adjustScrollWhenAboveVisible

external/.scrollLibs.js:7784–7788

(cm, line, diff)

  eventMixin(LineWidget)

  function adjustScrollWhenAboveVisible(cm, line, diff) {
    if (heightAtLine(line) < ((cm.curOp && cm.curOp.scrollTop) || cm.doc.scrollTop)) {
      addToScrollTop(cm, diff)
    }
  }

  function addLineWidget(doc, handle, node, options) {
    var widget = new LineWidget(doc, node, options)