Function scrollGap

external/.scrollLibs.js:3569–3571

(cm)

  }

  function scrollGap(cm) {
    return scrollerGap - cm.display.nativeBarWidth
  }
  function displayWidth(cm) {
    return cm.display.scroller.clientWidth - scrollGap(cm) - cm.display.barWidth
  }