aboutsummaryrefslogtreecommitdiff
path: root/imports/codemirror/mode/diff/index.html
diff options
context:
space:
mode:
authorValerio Virgillito2012-07-17 11:28:39 -0700
committerValerio Virgillito2012-07-17 11:28:39 -0700
commit4f737b24c19ddc02d20f9783b8b080fc6ef11142 (patch)
tree212d164c0f83d80394e34f1df532ea0461ad328d /imports/codemirror/mode/diff/index.html
parent5146f224258929415adf4a8022e492454b4e2476 (diff)
parent0e04fff0ea80fa5cbe96b8354db38bd334aea83a (diff)
downloadninja-4f737b24c19ddc02d20f9783b8b080fc6ef11142.tar.gz
Merge pull request #396 from ananyasen/codemirror2.3-upgrade
upgrade to codemirror 2.3
Diffstat (limited to 'imports/codemirror/mode/diff/index.html')
-rw-r--r--imports/codemirror/mode/diff/index.html13
1 files changed, 9 insertions, 4 deletions
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;