Function PosMaybeOutside

static/js/codemirror/codemirror.js:1112–1116

(line, ch, outside)

  }

  function PosMaybeOutside(line, ch, outside) {
    var pos = new Pos(line, ch);
    if (outside) pos.outside = true;
    return pos;
  }

  // Coords must be lineSpace-local
  function coordsChar(cm, x, y) {