| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374 | (function() {  var ie_lt8 = /MSIE \d/.test(navigator.userAgent) &&    (document.documentMode == null || document.documentMode < 8);  var Pos = CodeMirror.Pos;  // Disable brace matching in long lines, since it'll cause hugely slow updates    var maxLineLen = 1000;  var matching = {"(": ")>", ")": "(<", "[": "]>", "]": "[<", "{": "}>", "}": "{<"};  function findMatchingBracket(cm) {    var cur = cm.getCursor(), line = cm.getLineHandle(cur.line), pos = cur.ch - 1;    var match = (pos >= 0 && matching[line.text.charAt(pos)]) || matching[line.text.charAt(++pos)];    if (!match) return null;    var forward = match.charAt(1) == ">", d = forward ? 1 : -1;    var style = cm.getTokenAt(Pos(cur.line, pos + 1)).type;    var stack = [line.text.charAt(pos)], re = /[(){}[\]]/;    function scan(line, lineNo, start) {      if (!line.text) return;      var pos = forward ? 0 : line.text.length - 1, end = forward ? line.text.length : -1;      if (start != null) pos = start + d;      for (; pos != end; pos += d) {        var ch = line.text.charAt(pos);        if (re.test(ch) && cm.getTokenAt(Pos(lineNo, pos + 1)).type == style) {          var match = matching[ch];          if (match.charAt(1) == ">" == forward) stack.push(ch);          else if (stack.pop() != match.charAt(0)) return {pos: pos, match: false};          else if (!stack.length) return {pos: pos, match: true};        }      }    }    for (var i = cur.line, found, e = forward ? Math.min(i + 100, cm.lineCount()) : Math.max(-1, i - 100); i != e; i+=d) {      if (i == cur.line) found = scan(line, i, pos);      else found = scan(cm.getLineHandle(i), i);      if (found) break;    }    return {from: Pos(cur.line, pos), to: found && Pos(i, found.pos), match: found && found.match};  }  function matchBrackets(cm, autoclear) {    var found = findMatchingBracket(cm);    if (!found || cm.getLine(found.from.line).length > maxLineLen ||       found.to && cm.getLine(found.to.line).length > maxLineLen)      return;    var style = found.match ? "CodeMirror-matchingbracket" : "CodeMirror-nonmatchingbracket";    var one = cm.markText(found.from, Pos(found.from.line, found.from.ch + 1), {className: style});    var two = found.to && cm.markText(found.to, Pos(found.to.line, found.to.ch + 1), {className: style});    // Kludge to work around the IE bug from issue #1193, where text    // input stops going to the textare whever this fires.    if (ie_lt8 && cm.state.focused) cm.display.input.focus();    var clear = function() {      cm.operation(function() { one.clear(); two && two.clear(); });    };    if (autoclear) setTimeout(clear, 800);    else return clear;  }  var currentlyHighlighted = null;  function doMatchBrackets(cm) {    cm.operation(function() {      if (currentlyHighlighted) {currentlyHighlighted(); currentlyHighlighted = null;}      if (!cm.somethingSelected()) currentlyHighlighted = matchBrackets(cm, false);    });  }  CodeMirror.defineOption("matchBrackets", false, function(cm, val) {    if (val) cm.on("cursorActivity", doMatchBrackets);    else cm.off("cursorActivity", doMatchBrackets);  });  CodeMirror.defineExtension("matchBrackets", function() {matchBrackets(this, true);});  CodeMirror.defineExtension("findMatchingBracket", function(){return findMatchingBracket(this);});})();
 |