Function pageCoords

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:1842–1845

(pos)

            }
        }
        function pageCoords(pos) {
            var local = localCoords(pos, true), off = eltOffset(lineSpace);
            return {x: off.left + local.x, y: off.top + local.y, yBot: off.top + local.yBot};
        }

        var cachedHeight, cachedHeightFor, measureText;
        function textHeight() {