Function splitLines

lib/codemirror/addon/runmode/runmode.node.js:8–8

(string)

// declare global: StringStream

function splitLines(string){ return string.split(/\r?\n|\r/); };

function StringStream(string) {
  this.pos = this.start = 0;