Function posFromMouse

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:1871–1882

(e, liberal)

        function paddingLeft() {return lineSpace.offsetLeft;}

        function posFromMouse(e, liberal) {
            var offW = eltOffset(scroller, true), x, y;
            // Fails unpredictably on IE[67] when mouse is dragged around quickly.
            try { x = e.clientX; y = e.clientY; } catch (e) { return null; }
            // This is a mess of a heuristic to try and determine whether a
            // scroll-bar was clicked or not, and to return null if one was
            // (and !liberal).
            if (!liberal && (x - offW.left > scroller.clientWidth || y - offW.top > scroller.clientHeight))
                return null;
            var offL = eltOffset(lineSpace, true);
            return coordsChar(x - offL.left, y - offL.top);
        }
        function onContextMenu(e) {
            var pos = posFromMouse(e), scrollPos = scroller.scrollTop;
            if (!pos || window.opera) return; // Opera is difficult.