| CodeMirror.runMode = function(string, modespec, callback, options) { |
| var mode = CodeMirror.getMode(CodeMirror.defaults, modespec); |
| |
| if (callback.nodeType == 1) { |
| var tabSize = (options && options.tabSize) || CodeMirror.defaults.tabSize; |
| var node = callback, col = 0; |
| node.innerHTML = ""; |
| callback = function(text, style) { |
| if (text == "\n") { |
| node.appendChild(document.createElement("br")); |
| col = 0; |
| return; |
| } |
| var content = ""; |
| // replace tabs |
| for (var pos = 0;;) { |
| var idx = text.indexOf("\t", pos); |
| if (idx == -1) { |
| content += text.slice(pos); |
| col += text.length - pos; |
| break; |
| } else { |
| col += idx - pos; |
| content += text.slice(pos, idx); |
| var size = tabSize - col % tabSize; |
| col += size; |
| for (var i = 0; i < size; ++i) content += " "; |
| pos = idx + 1; |
| } |
| } |
| |
| if (style) { |
| var sp = node.appendChild(document.createElement("span")); |
| sp.className = "cm-" + style.replace(/ +/g, " cm-"); |
| sp.appendChild(document.createTextNode(content)); |
| } else { |
| node.appendChild(document.createTextNode(content)); |
| } |
| }; |
| } |
| |
| var lines = CodeMirror.splitLines(string), state = CodeMirror.startState(mode); |
| for (var i = 0, e = lines.length; i < e; ++i) { |
| if (i) callback("\n"); |
| var stream = new CodeMirror.StringStream(lines[i]); |
| while (!stream.eol()) { |
| var style = mode.token(stream, state); |
| callback(stream.current(), style, i, stream.start); |
| stream.start = stream.pos; |
| } |
| } |
| }; |