Spaces:
Running
Running
| (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);}); | |
| })(); | |