Function add

external/.scrollLibs.js:4499–4513

(left, top, width, bottom)

    var docLTR = doc.direction == "ltr"

    function add(left, top, width, bottom) {
      if (top < 0) {
        top = 0
      }
      top = Math.round(top)
      bottom = Math.round(bottom)
      fragment.appendChild(
        elt(
          "div",
          null,
          "CodeMirror-selected",
          "position: absolute; left: " + left + "px;\n                             top: " + top + "px; width: " + (width == null ? rightSide - left : width) + "px;\n                             height: " + (bottom - top) + "px"
        )
      )
    }

    function drawForLine(line, fromArg, toArg) {
      var lineObj = getLine(doc, line)