topical media & game development

talk show tell print

mobile-query-three-www-vendor-CodeMirror2-mode-diff-index.htm / htm



  <!doctype html>
  <html>
    <head>
      <title>CodeMirror: Diff mode</title>
      <link rel="stylesheet" href="../../lib/codemirror.css">
      <script src="../../lib/codemirror.js"></script>
      <script src="diff.js"></script>
      <link rel="stylesheet" href="diff.css">
      <style>.CodeMirror {border-top: 1px solid #ddd; border-bottom: 1px solid #ddd;}</style>
      <link rel="stylesheet" href="../../doc/docs.css">
    </head>
    <body>
      <h1>CodeMirror: Diff mode</h1>
      <form><textarea id="code" name="code">
  diff --git a/index.html b/index.html
  index c1d9156..7764744 100644
  --- a/index.html
  +++ b/index.html
  
       <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
  
       }
   
       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();
  
         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("");
  
           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),
  
         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;
     }
  
       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>
  
    </body>
  </html>
  


(C) Æliens 04/09/2009

You may not copy or print any of this material without explicit permission of the author or the publisher. In case of other copyright issues, contact the author.