Function setLineClass

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:1691–1699

(handle, className, bgClassName)

            return line;
        }
        function setLineClass(handle, className, bgClassName) {
            return changeLine(handle, function(line) {
                if (line.className != className || line.bgClassName != bgClassName) {
                    line.className = className;
                    line.bgClassName = bgClassName;
                    return true;
                }
            });
        }
        function setLineHidden(handle, hidden) {
            return changeLine(handle, function(line, no) {
                if (line.hidden != hidden) {