aboutsummaryrefslogtreecommitdiff
path: root/imports/codemirror/mode/diff
diff options
context:
space:
mode:
authorAnanya Sen2012-07-16 16:04:05 -0700
committerAnanya Sen2012-07-16 16:04:05 -0700
commit0e04fff0ea80fa5cbe96b8354db38bd334aea83a (patch)
tree212d164c0f83d80394e34f1df532ea0461ad328d /imports/codemirror/mode/diff
parent5146f224258929415adf4a8022e492454b4e2476 (diff)
downloadninja-0e04fff0ea80fa5cbe96b8354db38bd334aea83a.tar.gz
upgrade to codemirror 2.3
Signed-off-by: Ananya Sen <Ananya.Sen@motorola.com> Conflicts: js/code-editor/codemirror-ninja/theme/lesser-dark-ninja.css Signed-off-by: Ananya Sen <Ananya.Sen@motorola.com>
Diffstat (limited to 'imports/codemirror/mode/diff')
-rw-r--r--imports/codemirror/mode/diff/diff.css3
-rw-r--r--imports/codemirror/mode/diff/diff.js29
-rw-r--r--imports/codemirror/mode/diff/index.html13
3 files changed, 33 insertions, 12 deletions
diff --git a/imports/codemirror/mode/diff/diff.css b/imports/codemirror/mode/diff/diff.css
deleted file mode 100644
index 0e96ab21..00000000
--- a/imports/codemirror/mode/diff/diff.css
+++ /dev/null
@@ -1,3 +0,0 @@
1span.cm-rangeinfo {color: #a0b;}
2span.cm-minus {color: red;}
3span.cm-plus {color: #2b2;}
diff --git a/imports/codemirror/mode/diff/diff.js b/imports/codemirror/mode/diff/diff.js
index 725bb2c7..3402f3b3 100644
--- a/imports/codemirror/mode/diff/diff.js
+++ b/imports/codemirror/mode/diff/diff.js
@@ -1,11 +1,30 @@
1CodeMirror.defineMode("diff", function() { 1CodeMirror.defineMode("diff", function() {
2
3 var TOKEN_NAMES = {
4 '+': 'tag',
5 '-': 'string',
6 '@': 'meta'
7 };
8
2 return { 9 return {
3 token: function(stream) { 10 token: function(stream) {
4 var ch = stream.next(); 11 var tw_pos = stream.string.search(/[\t ]+?$/);
5 stream.skipToEnd(); 12
6 if (ch == "+") return "plus"; 13 if (!stream.sol() || tw_pos === 0) {
7 if (ch == "-") return "minus"; 14 stream.skipToEnd();
8 if (ch == "@") return "rangeinfo"; 15 return ("error " + (
16 TOKEN_NAMES[stream.string.charAt(0)] || '')).replace(/ $/, '');
17 }
18
19 var token_name = TOKEN_NAMES[stream.peek()] || stream.skipToEnd();
20
21 if (tw_pos === -1) {
22 stream.skipToEnd();
23 } else {
24 stream.pos = tw_pos;
25 }
26
27 return token_name;
9 } 28 }
10 }; 29 };
11}); 30});
diff --git a/imports/codemirror/mode/diff/index.html b/imports/codemirror/mode/diff/index.html
index 2540236c..b102c090 100644
--- a/imports/codemirror/mode/diff/index.html
+++ b/imports/codemirror/mode/diff/index.html
@@ -5,8 +5,13 @@
5 <link rel="stylesheet" href="../../lib/codemirror.css"> 5 <link rel="stylesheet" href="../../lib/codemirror.css">
6 <script src="../../lib/codemirror.js"></script> 6 <script src="../../lib/codemirror.js"></script>
7 <script src="diff.js"></script> 7 <script src="diff.js"></script>
8 <link rel="stylesheet" href="diff.css"> 8 <style>
9 <style>.CodeMirror {border-top: 1px solid #ddd; border-bottom: 1px solid #ddd;}</style> 9 .CodeMirror {border-top: 1px solid #ddd; border-bottom: 1px solid #ddd;}
10 span.cm-meta {color: #a0b !important;}
11 span.cm-error { background-color: black; opacity: 0.4;}
12 span.cm-error.cm-string { background-color: red; }
13 span.cm-error.cm-tag { background-color: #2b2; }
14 </style>
10 <link rel="stylesheet" href="../../doc/docs.css"> 15 <link rel="stylesheet" href="../../doc/docs.css">
11 </head> 16 </head>
12 <body> 17 <body>
@@ -34,12 +39,12 @@ index 04646a9..9a39cc7 100644
34 } 39 }
35 40
36 function onMouseDown(e) { 41 function onMouseDown(e) {
37- var start = posFromMouse(e), last = start; 42- var start = posFromMouse(e), last = start;
38+ var start = posFromMouse(e), last = start, target = e.target(); 43+ var start = posFromMouse(e), last = start, target = e.target();
39 if (!start) return; 44 if (!start) return;
40 setCursor(start.line, start.ch, false); 45 setCursor(start.line, start.ch, false);
41 if (e.button() != 1) return; 46 if (e.button() != 1) return;
42+ if (target.parentNode == gutter) { 47+ if (target.parentNode == gutter) {
43+ if (options.onGutterClick) 48+ if (options.onGutterClick)
44+ options.onGutterClick(indexOf(gutter.childNodes, target) + showingFrom); 49+ options.onGutterClick(indexOf(gutter.childNodes, target) + showingFrom);
45+ return; 50+ return;