Function PosWithInfo

tools/pythonauto/static/codemirror/codemirror.js:1251–1256

(line, ch, outside, xRel)

  }

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

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