(display)
| 2298 | |
| 2299 | function paddingTop(display) {return display.lineSpace.offsetTop} |
| 2300 | function paddingVert(display) {return display.mover.offsetHeight - display.lineSpace.offsetHeight} |
| 2301 | function paddingH(display) { |
| 2302 | if (display.cachedPaddingH) { return display.cachedPaddingH } |
| 2303 | var e = removeChildrenAndAdd(display.measure, elt("pre", "x", "CodeMirror-line-like")); |
no outgoing calls
no test coverage detected