File modules/editor/codemirror/mode/diff/diff.js

Last commit: Sun Dec 17 01:14:09 2017 +0100	Jan Dankert	Integration eines weiteren Code-Editors: Codemirror. Demnächst müssen wir hier mal aufräumen und andere Editoren rauswerfen.


     1 // CodeMirror, copyright (c) by Marijn Haverbeke and others
     2 // Distributed under an MIT license: http://codemirror.net/LICENSE
     3 
     4 (function(mod) {
     5   if (typeof exports == "object" && typeof module == "object") // CommonJS
     6     mod(require("../../lib/codemirror"));
     7   else if (typeof define == "function" && define.amd) // AMD
     8     define(["../../lib/codemirror"], mod);
     9   else // Plain browser env
    10     mod(CodeMirror);
    11 })(function(CodeMirror) {
    12 "use strict";
    13 
    14 CodeMirror.defineMode("diff", function() {
    15 
    16   var TOKEN_NAMES = {
    17     '+': 'positive',
    18     '-': 'negative',
    19     '@': 'meta'
    20   };
    21 
    22   return {
    23     token: function(stream) {
    24       var tw_pos = stream.string.search(/[\t ]+?$/);
    25 
    26       if (!stream.sol() || tw_pos === 0) {
    27         stream.skipToEnd();
    28         return ("error " + (
    29           TOKEN_NAMES[stream.string.charAt(0)] || '')).replace(/ $/, '');
    30       }
    31 
    32       var token_name = TOKEN_NAMES[stream.peek()] || stream.skipToEnd();
    33 
    34       if (tw_pos === -1) {
    35         stream.skipToEnd();
    36       } else {
    37         stream.pos = tw_pos;
    38       }
    39 
    40       return token_name;
    41     }
    42   };
    43 });
    44 
    45 CodeMirror.defineMIME("text/x-diff", "diff");
    46 
    47 });



Download modules/editor/codemirror/mode/diff/diff.js


History
Sun, 17 Dec 2017 01:14:09 +0100	Jan Dankert	Integration eines weiteren Code-Editors: Codemirror. Demnächst müssen wir hier mal aufräumen und andere Editoren rauswerfen.