Function displayWidth

external/.scrollLibs.js:3572–3574

(cm)

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