Function isLine

static/js/codemirror/codemirror.js:2292–2292

(doc, l)

    else return pos;
  }
  function isLine(doc, l) {return l >= doc.first && l < doc.first + doc.size;}

  // If shift is held, this will move the selection anchor. Otherwise,
  // it'll set the whole selection.