scripts/CodeMirror/mode/diff/index.html (view raw)
1<!doctype html>
2
3<title>CodeMirror: Diff mode</title>
4<meta charset="utf-8"/>
5<link rel=stylesheet href="../../doc/docs.css">
6
7<link rel="stylesheet" href="../../lib/codemirror.css">
8<script src="../../lib/codemirror.js"></script>
9<script src="diff.js"></script>
10<style>
11 .CodeMirror {border-top: 1px solid #ddd; border-bottom: 1px solid #ddd;}
12 span.cm-meta {color: #a0b !important;}
13 span.cm-error { background-color: black; opacity: 0.4;}
14 span.cm-error.cm-string { background-color: red; }
15 span.cm-error.cm-tag { background-color: #2b2; }
16 </style>
17<div id=nav>
18 <a href="https://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt=""></a>
19
20 <ul>
21 <li><a href="../../index.html">Home</a>
22 <li><a href="../../doc/manual.html">Manual</a>
23 <li><a href="https://github.com/codemirror/codemirror">Code</a>
24 </ul>
25 <ul>
26 <li><a href="../index.html">Language modes</a>
27 <li><a class=active href="#">Diff</a>
28 </ul>
29</div>
30
31<article>
32<h2>Diff mode</h2>
33<form><textarea id="code" name="code">
34diff --git a/index.html b/index.html
35index c1d9156..7764744 100644
36--- a/index.html
37+++ b/index.html
38@@ -95,7 +95,8 @@ StringStream.prototype = {
39 <script>
40 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
41 lineNumbers: true,
42- autoMatchBrackets: true
43+ autoMatchBrackets: true,
44+ onGutterClick: function(x){console.log(x);}
45 });
46 </script>
47 </body>
48diff --git a/lib/codemirror.js b/lib/codemirror.js
49index 04646a9..9a39cc7 100644
50--- a/lib/codemirror.js
51+++ b/lib/codemirror.js
52@@ -399,10 +399,16 @@ var CodeMirror = (function() {
53 }
54
55 function onMouseDown(e) {
56- var start = posFromMouse(e), last = start;
57+ var start = posFromMouse(e), last = start, target = e.target();
58 if (!start) return;
59 setCursor(start.line, start.ch, false);
60 if (e.button() != 1) return;
61+ if (target.parentNode == gutter) {
62+ if (options.onGutterClick)
63+ options.onGutterClick(indexOf(gutter.childNodes, target) + showingFrom);
64+ return;
65+ }
66+
67 if (!focused) onFocus();
68
69 e.stop();
70@@ -808,7 +814,7 @@ var CodeMirror = (function() {
71 for (var i = showingFrom; i < showingTo; ++i) {
72 var marker = lines[i].gutterMarker;
73 if (marker) html.push('<div class="' + marker.style + '">' + htmlEscape(marker.text) + '</div>');
74- else html.push("<div>" + (options.lineNumbers ? i + 1 : "\u00a0") + "</div>");
75+ else html.push("<div>" + (options.lineNumbers ? i + options.firstLineNumber : "\u00a0") + "</div>");
76 }
77 gutter.style.display = "none"; // TODO test whether this actually helps
78 gutter.innerHTML = html.join("");
79@@ -1371,10 +1377,8 @@ var CodeMirror = (function() {
80 if (option == "parser") setParser(value);
81 else if (option === "lineNumbers") setLineNumbers(value);
82 else if (option === "gutter") setGutter(value);
83- else if (option === "readOnly") options.readOnly = value;
84- else if (option === "indentUnit") {options.indentUnit = indentUnit = value; setParser(options.parser);}
85- else if (/^(?:enterMode|tabMode|indentWithTabs|readOnly|autoMatchBrackets|undoDepth)$/.test(option)) options[option] = value;
86- else throw new Error("Can't set option " + option);
87+ else if (option === "indentUnit") {options.indentUnit = value; setParser(options.parser);}
88+ else options[option] = value;
89 },
90 cursorCoords: cursorCoords,
91 undo: operation(undo),
92@@ -1402,7 +1406,8 @@ var CodeMirror = (function() {
93 replaceRange: operation(replaceRange),
94
95 operation: function(f){return operation(f)();},
96- refresh: function(){updateDisplay([{from: 0, to: lines.length}]);}
97+ refresh: function(){updateDisplay([{from: 0, to: lines.length}]);},
98+ getInputField: function(){return input;}
99 };
100 return instance;
101 }
102@@ -1420,6 +1425,7 @@ var CodeMirror = (function() {
103 readOnly: false,
104 onChange: null,
105 onCursorActivity: null,
106+ onGutterClick: null,
107 autoMatchBrackets: false,
108 workTime: 200,
109 workDelay: 300,
110</textarea></form>
111 <script>
112 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {});
113 </script>
114
115 <p><strong>MIME types defined:</strong> <code>text/x-diff</code>.</p>
116
117 </article>