mirror of
https://github.com/renbaoshuo/S2OJ.git
synced 2024-12-24 17:41:52 +00:00
118 lines
4.3 KiB
HTML
118 lines
4.3 KiB
HTML
|
<!doctype html>
|
||
|
|
|
||
|
|
<title>CodeMirror: Diff mode</title>
|
||
|
|
<meta charset="utf-8"/>
|
||
|
|
<link rel=stylesheet href="../../doc/docs.css">
|
||
|
|
|
||
|
|
<link rel="stylesheet" href="../../lib/codemirror.css">
|
||
|
|
<script src="../../lib/codemirror.js"></script>
|
||
|
|
<script src="diff.js"></script>
|
||
|
|
<style>
|
||
|
|
.CodeMirror {border-top: 1px solid #ddd; border-bottom: 1px solid #ddd;}
|
||
|
|
span.cm-meta {color: #a0b !important;}
|
||
|
|
span.cm-error { background-color: black; opacity: 0.4;}
|
||
|
|
span.cm-error.cm-string { background-color: red; }
|
||
|
|
span.cm-error.cm-tag { background-color: #2b2; }
|
||
|
|
</style>
|
||
|
|
<div id=nav>
|
||
|
|
<a href="http://codemirror.net"><img id=logo src="../../doc/logo.png"></a>
|
||
|
|
|
||
|
|
<ul>
|
||
|
|
<li><a href="../../index.html">Home</a>
|
||
|
|
<li><a href="../../doc/manual.html">Manual</a>
|
||
|
|
<li><a href="https://github.com/marijnh/codemirror">Code</a>
|
||
|
|
</ul>
|
||
|
|
<ul>
|
||
|
|
<li><a href="../index.html">Language modes</a>
|
||
|
|
<li><a class=active href="#">Diff</a>
|
||
|
|
</ul>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
<article>
|
||
|
|
<h2>Diff mode</h2>
|
||
|
|
<form><textarea id="code" name="code">
|
||
|
|
diff --git a/index.html b/index.html
|
||
|
|
index c1d9156..7764744 100644
|
||
|
|
--- a/index.html
|
||
|
|
+++ b/index.html
|
||
|
|
@@ -95,7 +95,8 @@ StringStream.prototype = {
|
||
|
|
<script>
|
||
|
|
var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
|
||
|
|
lineNumbers: true,
|
||
|
|
- autoMatchBrackets: true
|
||
|
|
+ autoMatchBrackets: true,
|
||
|
|
+ onGutterClick: function(x){console.log(x);}
|
||
|
|
});
|
||
|
|
</script>
|
||
|
|
</body>
|
||
|
|
diff --git a/lib/codemirror.js b/lib/codemirror.js
|
||
|
|
index 04646a9..9a39cc7 100644
|
||
|
|
--- a/lib/codemirror.js
|
||
|
|
+++ b/lib/codemirror.js
|
||
|
|
@@ -399,10 +399,16 @@ var CodeMirror = (function() {
|
||
|
|
}
|
||
|
|
|
||
|
|
function onMouseDown(e) {
|
||
|
|
- var start = posFromMouse(e), last = start;
|
||
|
|
+ var start = posFromMouse(e), last = start, target = e.target();
|
||
|
|
if (!start) return;
|
||
|
|
setCursor(start.line, start.ch, false);
|
||
|
|
if (e.button() != 1) return;
|
||
|
|
+ if (target.parentNode == gutter) {
|
||
|
|
+ if (options.onGutterClick)
|
||
|
|
+ options.onGutterClick(indexOf(gutter.childNodes, target) + showingFrom);
|
||
|
|
+ return;
|
||
|
|
+ }
|
||
|
|
+
|
||
|
|
if (!focused) onFocus();
|
||
|
|
|
||
|
|
e.stop();
|
||
|
|
@@ -808,7 +814,7 @@ var CodeMirror = (function() {
|
||
|
|
for (var i = showingFrom; i < showingTo; ++i) {
|
||
|
|
var marker = lines[i].gutterMarker;
|
||
|
|
if (marker) html.push('<div class="' + marker.style + '">' + htmlEscape(marker.text) + '</div>');
|
||
|
|
- else html.push("<div>" + (options.lineNumbers ? i + 1 : "\u00a0") + "</div>");
|
||
|
|
+ else html.push("<div>" + (options.lineNumbers ? i + options.firstLineNumber : "\u00a0") + "</div>");
|
||
|
|
}
|
||
|
|
gutter.style.display = "none"; // TODO test whether this actually helps
|
||
|
|
gutter.innerHTML = html.join("");
|
||
|
|
@@ -1371,10 +1377,8 @@ var CodeMirror = (function() {
|
||
|
|
if (option == "parser") setParser(value);
|
||
|
|
else if (option === "lineNumbers") setLineNumbers(value);
|
||
|
|
else if (option === "gutter") setGutter(value);
|
||
|
|
- else if (option === "readOnly") options.readOnly = value;
|
||
|
|
- else if (option === "indentUnit") {options.indentUnit = indentUnit = value; setParser(options.parser);}
|
||
|
|
- else if (/^(?:enterMode|tabMode|indentWithTabs|readOnly|autoMatchBrackets|undoDepth)$/.test(option)) options[option] = value;
|
||
|
|
- else throw new Error("Can't set option " + option);
|
||
|
|
+ else if (option === "indentUnit") {options.indentUnit = value; setParser(options.parser);}
|
||
|
|
+ else options[option] = value;
|
||
|
|
},
|
||
|
|
cursorCoords: cursorCoords,
|
||
|
|
undo: operation(undo),
|
||
|
|
@@ -1402,7 +1406,8 @@ var CodeMirror = (function() {
|
||
|
|
replaceRange: operation(replaceRange),
|
||
|
|
|
||
|
|
operation: function(f){return operation(f)();},
|
||
|
|
- refresh: function(){updateDisplay([{from: 0, to: lines.length}]);}
|
||
|
|
+ refresh: function(){updateDisplay([{from: 0, to: lines.length}]);},
|
||
|
|
+ getInputField: function(){return input;}
|
||
|
|
};
|
||
|
|
return instance;
|
||
|
|
}
|
||
|
|
@@ -1420,6 +1425,7 @@ var CodeMirror = (function() {
|
||
|
|
readOnly: false,
|
||
|
|
onChange: null,
|
||
|
|
onCursorActivity: null,
|
||
|
|
+ onGutterClick: null,
|
||
|
|
autoMatchBrackets: false,
|
||
|
|
workTime: 200,
|
||
|
|
workDelay: 300,
|
||
|
|
</textarea></form>
|
||
|
|
<script>
|
||
|
|
var editor = CodeMirror.fromTextArea(document.getElementById("code"), {});
|
||
|
|
</script>
|
||
|
|
|
||
|
|
<p><strong>MIME types defined:</strong> <code>text/x-diff</code>.</p>
|
||
|
|
|
||
|
|
</article>
|