##// END OF EJS Templates
Second step in two-part process to rename directories....
Second step in two-part process to rename directories. This is the actual directory rename.

File last commit:

r4187:d1addaf7 kallithea-2.2.5-r...
r4187:d1addaf7 kallithea-2.2.5-r...
Show More
diff.js
32 lines | 677 B | application/javascript | JavascriptLexer
CodeMirror.defineMode("diff", function() {
var TOKEN_NAMES = {
'+': 'positive',
'-': 'negative',
'@': 'meta'
};
return {
token: function(stream) {
var tw_pos = stream.string.search(/[\t ]+?$/);
if (!stream.sol() || tw_pos === 0) {
stream.skipToEnd();
return ("error " + (
TOKEN_NAMES[stream.string.charAt(0)] || '')).replace(/ $/, '');
}
var token_name = TOKEN_NAMES[stream.peek()] || stream.skipToEnd();
if (tw_pos === -1) {
stream.skipToEnd();
} else {
stream.pos = tw_pos;
}
return token_name;
}
};
});
CodeMirror.defineMIME("text/x-diff", "diff");