Function intoCoordSystem

external/.scrollLibs.js:3922–3950

(cm, lineObj, rect, context, includeWidgets)

  // "line", "div" (display.lineDiv), "local"./null (editor), "window",
  // or "page".
  function intoCoordSystem(cm, lineObj, rect, context, includeWidgets) {
    if (!includeWidgets) {
      var height = widgetTopHeight(lineObj)
      rect.top += height
      rect.bottom += height
    }
    if (context == "line") {
      return rect
    }
    if (!context) {
      context = "local"
    }
    var yOff = heightAtLine(lineObj)
    if (context == "local") {
      yOff += paddingTop(cm.display)
    } else {
      yOff -= cm.display.viewOffset
    }
    if (context == "page" || context == "window") {
      var lOff = cm.display.lineSpace.getBoundingClientRect()
      yOff += lOff.top + (context == "window" ? 0 : pageScrollY())
      var xOff = lOff.left + (context == "window" ? 0 : pageScrollX())
      rect.left += xOff
      rect.right += xOff
    }
    rect.top += yOff
    rect.bottom += yOff
    return rect
  }

  // Coverts a box from "div" coords to another coordinate system.
  // Context may be "window", "page", "div", or "local"./null.