Function editEnd

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:3212–3218

(from, to)

    // Used to position the cursor after an undo/redo by finding the
    // last edited character.
    function editEnd(from, to) {
        if (!to) return 0;
        if (!from) return to.length;
        for (var i = from.length, j = to.length; i >= 0 && j >= 0; --i, --j)
            if (from.charAt(i) != to.charAt(j)) break;
        return j + 1;
    }

    function indexOf(collection, elt) {
        if (collection.indexOf) return collection.indexOf(elt);