##// END OF EJS Templates
Add bookmarks property to git branch, it makes it consistent with other property...
Add bookmarks property to git branch, it makes it consistent with other property named closed branches. Makes git and hg API consistent

File last commit:

r4026:a60a0e90 default
r4088:7c73f186 default
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");