diff options
author | Valerio Virgillito | 2012-07-17 11:28:39 -0700 |
---|---|---|
committer | Valerio Virgillito | 2012-07-17 11:28:39 -0700 |
commit | 4f737b24c19ddc02d20f9783b8b080fc6ef11142 (patch) | |
tree | 212d164c0f83d80394e34f1df532ea0461ad328d /imports/codemirror/mode/diff/index.html | |
parent | 5146f224258929415adf4a8022e492454b4e2476 (diff) | |
parent | 0e04fff0ea80fa5cbe96b8354db38bd334aea83a (diff) | |
download | ninja-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.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; |