diff options
| author | Valerio Virgillito | 2012-07-17 11:29:09 -0700 |
|---|---|---|
| committer | Valerio Virgillito | 2012-07-17 11:29:09 -0700 |
| commit | 58e86247524cc2d545bd6884f1b5c9fdba3b9164 (patch) | |
| tree | 53305d354fce502ee39378babf47ace6c91ce2fd /imports/codemirror/mode/diff/index.html | |
| parent | 0f0cffd4df85e7adf5081fe66c768c70b2ead9b3 (diff) | |
| parent | 4f737b24c19ddc02d20f9783b8b080fc6ef11142 (diff) | |
| download | ninja-58e86247524cc2d545bd6884f1b5c9fdba3b9164.tar.gz | |
Merge branch 'refs/heads/master' into v0.7.1
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; |