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");
|