Function add

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:1341–1346

(left, top, right, height)

                var clientWidth = lineSpace.clientWidth || lineSpace.offsetWidth;
                var clientHeight = lineSpace.clientHeight || lineSpace.offsetHeight;
                function add(left, top, right, height) {
                    var rstyle = quirksMode ? "width: " + (!right ? clientWidth : clientWidth - right - left) + "px"
                        : "right: " + right + "px";
                    html += '<div class="CodeMirror-selected" style="position: absolute; left: ' + left +
                        'px; top: ' + top + 'px; ' + rstyle + '; height: ' + height + 'px"></div>';
                }
                if (sel.from.ch && fromPos.y >= 0) {
                    var right = sameLine ? clientWidth - toPos.x : 0;
                    add(fromPos.x, fromPos.y, right, th);