Function posLess

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:3186–3186

(a, b)

    // Operations on {line, ch} objects.
    function posEq(a, b) {return a.line == b.line && a.ch == b.ch;}
    function posLess(a, b) {return a.line < b.line || (a.line == b.line && a.ch < b.ch);}
    function copyPos(x) {return {line: x.line, ch: x.ch};}

    var escapeElement = document.createElement("pre");