diff options
| author | Kruti Shah | 2012-07-17 12:40:00 -0700 |
|---|---|---|
| committer | Kruti Shah | 2012-07-17 12:40:00 -0700 |
| commit | bf2d7bdb22c28089dc1067bc9094ebc590daac87 (patch) | |
| tree | 2156d9920ea1b7db49ed6460545fea7cda121bae /imports/codemirror/mode/diff/index.html | |
| parent | 7e2c2dbd040ed79a3f0678f91bd4b6db9cf69231 (diff) | |
| parent | b4b3e45d6684e77d361b4f8ca5be4889428320c5 (diff) | |
| download | ninja-bf2d7bdb22c28089dc1067bc9094ebc590daac87.tar.gz | |
Merge branch 'refs/heads/TimelineUberJD' into Timeline-local-kruti
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; |