Function setBookmark

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:1650–1655

(pos)

        }

        function setBookmark(pos) {
            pos = clipPos(pos);
            var bm = new Bookmark(pos.ch);
            getLine(pos.line).addMark(bm);
            return bm;
        }

        function findMarksAt(pos) {
            pos = clipPos(pos);