Function tokenize

static/js/codemirror/mode/shell/shell.js:105–107

(stream, state)

  };

  function tokenize(stream, state) {
    return (state.tokens[0] || tokenBase) (stream, state);
  };

  return {
    startState: function() {return {tokens:[]};},