Function isLine

tools/pythonauto/static/codemirror/codemirror.js:2558–2558

(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.