diff options
author | Jon Reid | 2012-07-17 16:03:14 -0700 |
---|---|---|
committer | Jon Reid | 2012-07-17 16:03:14 -0700 |
commit | 42a51e0c27f2e2cd825d07b3af5ec05b0e5208b3 (patch) | |
tree | 67deeb8c5b34aacc91f737cc64a3bc9ef1f4f05f /imports/codemirror/mode/diff/index.html | |
parent | a12cabc16273ffe04af4bce1f7438dc9326efa89 (diff) | |
parent | b4b3e45d6684e77d361b4f8ca5be4889428320c5 (diff) | |
download | ninja-42a51e0c27f2e2cd825d07b3af5ec05b0e5208b3.tar.gz |
Merge remote-tracking branch 'ninja-jduran/TimelineUber' into timeline-local
Diffstat (limited to 'imports/codemirror/mode/diff/index.html')
-rw-r--r-- | imports/codemirror/mode/diff/index.html | 13 |
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; |