Function paddingH

external/.scrollLibs.js:3556–3567

(display)

    return display.mover.offsetHeight - display.lineSpace.offsetHeight
  }
  function paddingH(display) {
    if (display.cachedPaddingH) {
      return display.cachedPaddingH
    }
    var e = removeChildrenAndAdd(display.measure, elt("pre", "x"))
    var style = window.getComputedStyle ? window.getComputedStyle(e) : e.currentStyle
    var data = { left: parseInt(style.paddingLeft), right: parseInt(style.paddingRight) }
    if (!isNaN(data.left) && !isNaN(data.right)) {
      display.cachedPaddingH = data
    }
    return data
  }

  function scrollGap(cm) {
    return scrollerGap - cm.display.nativeBarWidth