Blame view

backend/makest/js/plugins/codemirror/mode/diff/index.html 4.31 KB
d1f8bd40   Alexey Boroda   first commit
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
  <!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"><h1>CodeMirror</h1><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/codemirror/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>