| 12345678910111213 | 
							- CodeMirror.defineMode("diff", function() {
 
-   return {
 
-     token: function(stream) {
 
-       var ch = stream.next();
 
-       stream.skipToEnd();
 
-       if (ch == "+") return "plus";
 
-       if (ch == "-") return "minus";
 
-       if (ch == "@") return "rangeinfo";
 
-     }
 
-   };
 
- });
 
- CodeMirror.defineMIME("text/x-diff", "diff");
 
 
  |