aboutsummaryrefslogtreecommitdiff
path: root/imports/codemirror/mode/diff/index.html
diff options
context:
space:
mode:
authorJonathan Duran2012-07-17 11:42:09 -0700
committerJonathan Duran2012-07-17 11:42:09 -0700
commitb4b3e45d6684e77d361b4f8ca5be4889428320c5 (patch)
tree2156d9920ea1b7db49ed6460545fea7cda121bae /imports/codemirror/mode/diff/index.html
parent4a87ff575693509ac578d46af26fa137c0dc3f58 (diff)
parent4f737b24c19ddc02d20f9783b8b080fc6ef11142 (diff)
downloadninja-b4b3e45d6684e77d361b4f8ca5be4889428320c5.tar.gz
Merge branch 'refs/heads/NINJA-master' into TimelineUber
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;