removing codemirror (it wasn't active, anyway) - see discussion in #2
This commit is contained in:
Ben Word
@@ -1,582 +0,0 @@
|
|||||||
/* CodeMirror main module (http://codemirror.net/)
|
|
||||||
*
|
|
||||||
* Implements the CodeMirror constructor and prototype, which take care
|
|
||||||
* of initializing the editor frame, and providing the outside interface.
|
|
||||||
*/
|
|
||||||
|
|
||||||
// The CodeMirrorConfig object is used to specify a default
|
|
||||||
// configuration. If you specify such an object before loading this
|
|
||||||
// file, the values you put into it will override the defaults given
|
|
||||||
// below. You can also assign to it after loading.
|
|
||||||
var CodeMirrorConfig = window.CodeMirrorConfig || {};
|
|
||||||
|
|
||||||
var CodeMirror = (function(){
|
|
||||||
function setDefaults(object, defaults) {
|
|
||||||
for (var option in defaults) {
|
|
||||||
if (!object.hasOwnProperty(option))
|
|
||||||
object[option] = defaults[option];
|
|
||||||
}
|
|
||||||
}
|
|
||||||
function forEach(array, action) {
|
|
||||||
for (var i = 0; i < array.length; i++)
|
|
||||||
action(array[i]);
|
|
||||||
}
|
|
||||||
function createHTMLElement(el) {
|
|
||||||
if (document.createElementNS && document.documentElement.namespaceURI !== null)
|
|
||||||
return document.createElementNS("http://www.w3.org/1999/xhtml", el)
|
|
||||||
else
|
|
||||||
return document.createElement(el)
|
|
||||||
}
|
|
||||||
|
|
||||||
// These default options can be overridden by passing a set of
|
|
||||||
// options to a specific CodeMirror constructor. See manual.html for
|
|
||||||
// their meaning.
|
|
||||||
setDefaults(CodeMirrorConfig, {
|
|
||||||
stylesheet: [],
|
|
||||||
path: "",
|
|
||||||
parserfile: [],
|
|
||||||
basefiles: ["util.js", "stringstream.js", "select.js", "undo.js", "editor.js", "tokenize.js"],
|
|
||||||
iframeClass: null,
|
|
||||||
passDelay: 200,
|
|
||||||
passTime: 50,
|
|
||||||
lineNumberDelay: 200,
|
|
||||||
lineNumberTime: 50,
|
|
||||||
continuousScanning: false,
|
|
||||||
saveFunction: null,
|
|
||||||
onLoad: null,
|
|
||||||
onChange: null,
|
|
||||||
undoDepth: 50,
|
|
||||||
undoDelay: 800,
|
|
||||||
disableSpellcheck: true,
|
|
||||||
textWrapping: true,
|
|
||||||
readOnly: false,
|
|
||||||
width: "",
|
|
||||||
height: "300px",
|
|
||||||
minHeight: 100,
|
|
||||||
autoMatchParens: false,
|
|
||||||
markParen: null,
|
|
||||||
unmarkParen: null,
|
|
||||||
parserConfig: null,
|
|
||||||
tabMode: "indent", // or "spaces", "default", "shift"
|
|
||||||
enterMode: "indent", // or "keep", "flat"
|
|
||||||
electricChars: true,
|
|
||||||
reindentOnLoad: false,
|
|
||||||
activeTokens: null,
|
|
||||||
onCursorActivity: null,
|
|
||||||
lineNumbers: false,
|
|
||||||
firstLineNumber: 1,
|
|
||||||
onLineNumberClick: null,
|
|
||||||
indentUnit: 2,
|
|
||||||
domain: null,
|
|
||||||
noScriptCaching: false,
|
|
||||||
incrementalLoading: false
|
|
||||||
});
|
|
||||||
|
|
||||||
function addLineNumberDiv(container, firstNum) {
|
|
||||||
var nums = createHTMLElement("div"),
|
|
||||||
scroller = createHTMLElement("div");
|
|
||||||
nums.style.position = "absolute";
|
|
||||||
nums.style.height = "100%";
|
|
||||||
if (nums.style.setExpression) {
|
|
||||||
try {nums.style.setExpression("height", "this.previousSibling.offsetHeight + 'px'");}
|
|
||||||
catch(e) {} // Seems to throw 'Not Implemented' on some IE8 versions
|
|
||||||
}
|
|
||||||
nums.style.top = "0px";
|
|
||||||
nums.style.left = "0px";
|
|
||||||
nums.style.overflow = "hidden";
|
|
||||||
container.appendChild(nums);
|
|
||||||
scroller.className = "CodeMirror-line-numbers";
|
|
||||||
nums.appendChild(scroller);
|
|
||||||
scroller.innerHTML = "<div>" + firstNum + "</div>";
|
|
||||||
return nums;
|
|
||||||
}
|
|
||||||
|
|
||||||
function frameHTML(options) {
|
|
||||||
if (typeof options.parserfile == "string")
|
|
||||||
options.parserfile = [options.parserfile];
|
|
||||||
if (typeof options.basefiles == "string")
|
|
||||||
options.basefiles = [options.basefiles];
|
|
||||||
if (typeof options.stylesheet == "string")
|
|
||||||
options.stylesheet = [options.stylesheet];
|
|
||||||
|
|
||||||
var sp = " spellcheck=\"" + (options.disableSpellcheck ? "false" : "true") + "\"";
|
|
||||||
var html = ["<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0 Transitional//EN\" \"http://www.w3.org/TR/html4/loose.dtd\"><html" + sp + "><head>"];
|
|
||||||
// Hack to work around a bunch of IE8-specific problems.
|
|
||||||
html.push("<meta http-equiv=\"X-UA-Compatible\" content=\"IE=EmulateIE7\"/>");
|
|
||||||
var queryStr = options.noScriptCaching ? "?nocache=" + new Date().getTime().toString(16) : "";
|
|
||||||
forEach(options.stylesheet, function(file) {
|
|
||||||
html.push("<link rel=\"stylesheet\" type=\"text/css\" href=\"" + file + queryStr + "\"/>");
|
|
||||||
});
|
|
||||||
forEach(options.basefiles.concat(options.parserfile), function(file) {
|
|
||||||
if (!/^https?:/.test(file)) file = options.path + file;
|
|
||||||
html.push("<script type=\"text/javascript\" src=\"" + file + queryStr + "\"><" + "/script>");
|
|
||||||
});
|
|
||||||
html.push("</head><body style=\"border-width: 0;\" class=\"editbox\"" + sp + "></body></html>");
|
|
||||||
return html.join("");
|
|
||||||
}
|
|
||||||
|
|
||||||
var internetExplorer = document.selection && window.ActiveXObject && /MSIE/.test(navigator.userAgent);
|
|
||||||
|
|
||||||
function CodeMirror(place, options) {
|
|
||||||
// Use passed options, if any, to override defaults.
|
|
||||||
this.options = options = options || {};
|
|
||||||
setDefaults(options, CodeMirrorConfig);
|
|
||||||
|
|
||||||
// Backward compatibility for deprecated options.
|
|
||||||
if (options.dumbTabs) options.tabMode = "spaces";
|
|
||||||
else if (options.normalTab) options.tabMode = "default";
|
|
||||||
if (options.cursorActivity) options.onCursorActivity = options.cursorActivity;
|
|
||||||
|
|
||||||
var frame = this.frame = createHTMLElement("iframe");
|
|
||||||
if (options.iframeClass) frame.className = options.iframeClass;
|
|
||||||
frame.frameBorder = 0;
|
|
||||||
frame.style.border = "0";
|
|
||||||
frame.style.width = '100%';
|
|
||||||
frame.style.height = '100%';
|
|
||||||
// display: block occasionally suppresses some Firefox bugs, so we
|
|
||||||
// always add it, redundant as it sounds.
|
|
||||||
frame.style.display = "block";
|
|
||||||
|
|
||||||
var div = this.wrapping = createHTMLElement("div");
|
|
||||||
div.style.position = "relative";
|
|
||||||
div.className = "CodeMirror-wrapping";
|
|
||||||
div.style.width = options.width;
|
|
||||||
div.style.height = (options.height == "dynamic") ? options.minHeight + "px" : options.height;
|
|
||||||
// This is used by Editor.reroutePasteEvent
|
|
||||||
var teHack = this.textareaHack = createHTMLElement("textarea");
|
|
||||||
div.appendChild(teHack);
|
|
||||||
teHack.style.position = "absolute";
|
|
||||||
teHack.style.left = "-10000px";
|
|
||||||
teHack.style.width = "10px";
|
|
||||||
teHack.tabIndex = 100000;
|
|
||||||
|
|
||||||
// Link back to this object, so that the editor can fetch options
|
|
||||||
// and add a reference to itself.
|
|
||||||
frame.CodeMirror = this;
|
|
||||||
if (options.domain && internetExplorer) {
|
|
||||||
this.html = frameHTML(options);
|
|
||||||
frame.src = "javascript:(function(){document.open();" +
|
|
||||||
(options.domain ? "document.domain=\"" + options.domain + "\";" : "") +
|
|
||||||
"document.write(window.frameElement.CodeMirror.html);document.close();})()";
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
frame.src = "javascript:;";
|
|
||||||
}
|
|
||||||
|
|
||||||
if (place.appendChild) place.appendChild(div);
|
|
||||||
else place(div);
|
|
||||||
div.appendChild(frame);
|
|
||||||
if (options.lineNumbers) this.lineNumbers = addLineNumberDiv(div, options.firstLineNumber);
|
|
||||||
|
|
||||||
this.win = frame.contentWindow;
|
|
||||||
if (!options.domain || !internetExplorer) {
|
|
||||||
this.win.document.open();
|
|
||||||
this.win.document.write(frameHTML(options));
|
|
||||||
this.win.document.close();
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
CodeMirror.prototype = {
|
|
||||||
init: function() {
|
|
||||||
// Deprecated, but still supported.
|
|
||||||
if (this.options.initCallback) this.options.initCallback(this);
|
|
||||||
if (this.options.onLoad) this.options.onLoad(this);
|
|
||||||
if (this.options.lineNumbers) this.activateLineNumbers();
|
|
||||||
if (this.options.reindentOnLoad) this.reindent();
|
|
||||||
if (this.options.height == "dynamic") this.setDynamicHeight();
|
|
||||||
},
|
|
||||||
|
|
||||||
getCode: function() {return this.editor.getCode();},
|
|
||||||
setCode: function(code) {this.editor.importCode(code);},
|
|
||||||
selection: function() {this.focusIfIE(); return this.editor.selectedText();},
|
|
||||||
reindent: function() {this.editor.reindent();},
|
|
||||||
reindentSelection: function() {this.focusIfIE(); this.editor.reindentSelection(null);},
|
|
||||||
|
|
||||||
focusIfIE: function() {
|
|
||||||
// in IE, a lot of selection-related functionality only works when the frame is focused
|
|
||||||
if (this.win.select.ie_selection && document.activeElement != this.frame)
|
|
||||||
this.focus();
|
|
||||||
},
|
|
||||||
focus: function() {
|
|
||||||
this.win.focus();
|
|
||||||
if (this.editor.selectionSnapshot) // IE hack
|
|
||||||
this.win.select.setBookmark(this.win.document.body, this.editor.selectionSnapshot);
|
|
||||||
},
|
|
||||||
replaceSelection: function(text) {
|
|
||||||
this.focus();
|
|
||||||
this.editor.replaceSelection(text);
|
|
||||||
return true;
|
|
||||||
},
|
|
||||||
replaceChars: function(text, start, end) {
|
|
||||||
this.editor.replaceChars(text, start, end);
|
|
||||||
},
|
|
||||||
getSearchCursor: function(string, fromCursor, caseFold) {
|
|
||||||
return this.editor.getSearchCursor(string, fromCursor, caseFold);
|
|
||||||
},
|
|
||||||
|
|
||||||
undo: function() {this.editor.history.undo();},
|
|
||||||
redo: function() {this.editor.history.redo();},
|
|
||||||
historySize: function() {return this.editor.history.historySize();},
|
|
||||||
clearHistory: function() {this.editor.history.clear();},
|
|
||||||
|
|
||||||
grabKeys: function(callback, filter) {this.editor.grabKeys(callback, filter);},
|
|
||||||
ungrabKeys: function() {this.editor.ungrabKeys();},
|
|
||||||
|
|
||||||
setParser: function(name, parserConfig) {this.editor.setParser(name, parserConfig);},
|
|
||||||
setSpellcheck: function(on) {this.win.document.body.spellcheck = on;},
|
|
||||||
setStylesheet: function(names) {
|
|
||||||
if (typeof names === "string") names = [names];
|
|
||||||
var activeStylesheets = {};
|
|
||||||
var matchedNames = {};
|
|
||||||
var links = this.win.document.getElementsByTagName("link");
|
|
||||||
// Create hashes of active stylesheets and matched names.
|
|
||||||
// This is O(n^2) but n is expected to be very small.
|
|
||||||
for (var x = 0, link; link = links[x]; x++) {
|
|
||||||
if (link.rel.indexOf("stylesheet") !== -1) {
|
|
||||||
for (var y = 0; y < names.length; y++) {
|
|
||||||
var name = names[y];
|
|
||||||
if (link.href.substring(link.href.length - name.length) === name) {
|
|
||||||
activeStylesheets[link.href] = true;
|
|
||||||
matchedNames[name] = true;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
// Activate the selected stylesheets and disable the rest.
|
|
||||||
for (var x = 0, link; link = links[x]; x++) {
|
|
||||||
if (link.rel.indexOf("stylesheet") !== -1) {
|
|
||||||
link.disabled = !(link.href in activeStylesheets);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
// Create any new stylesheets.
|
|
||||||
for (var y = 0; y < names.length; y++) {
|
|
||||||
var name = names[y];
|
|
||||||
if (!(name in matchedNames)) {
|
|
||||||
var link = this.win.document.createElement("link");
|
|
||||||
link.rel = "stylesheet";
|
|
||||||
link.type = "text/css";
|
|
||||||
link.href = name;
|
|
||||||
this.win.document.getElementsByTagName('head')[0].appendChild(link);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
},
|
|
||||||
setTextWrapping: function(on) {
|
|
||||||
if (on == this.options.textWrapping) return;
|
|
||||||
this.win.document.body.style.whiteSpace = on ? "" : "nowrap";
|
|
||||||
this.options.textWrapping = on;
|
|
||||||
if (this.lineNumbers) {
|
|
||||||
this.setLineNumbers(false);
|
|
||||||
this.setLineNumbers(true);
|
|
||||||
}
|
|
||||||
},
|
|
||||||
setIndentUnit: function(unit) {this.win.indentUnit = unit;},
|
|
||||||
setUndoDepth: function(depth) {this.editor.history.maxDepth = depth;},
|
|
||||||
setTabMode: function(mode) {this.options.tabMode = mode;},
|
|
||||||
setEnterMode: function(mode) {this.options.enterMode = mode;},
|
|
||||||
setLineNumbers: function(on) {
|
|
||||||
if (on && !this.lineNumbers) {
|
|
||||||
this.lineNumbers = addLineNumberDiv(this.wrapping,this.options.firstLineNumber);
|
|
||||||
this.activateLineNumbers();
|
|
||||||
}
|
|
||||||
else if (!on && this.lineNumbers) {
|
|
||||||
this.wrapping.removeChild(this.lineNumbers);
|
|
||||||
this.wrapping.style.paddingLeft = "";
|
|
||||||
this.lineNumbers = null;
|
|
||||||
}
|
|
||||||
},
|
|
||||||
|
|
||||||
cursorPosition: function(start) {this.focusIfIE(); return this.editor.cursorPosition(start);},
|
|
||||||
firstLine: function() {return this.editor.firstLine();},
|
|
||||||
lastLine: function() {return this.editor.lastLine();},
|
|
||||||
nextLine: function(line) {return this.editor.nextLine(line);},
|
|
||||||
prevLine: function(line) {return this.editor.prevLine(line);},
|
|
||||||
lineContent: function(line) {return this.editor.lineContent(line);},
|
|
||||||
setLineContent: function(line, content) {this.editor.setLineContent(line, content);},
|
|
||||||
removeLine: function(line){this.editor.removeLine(line);},
|
|
||||||
insertIntoLine: function(line, position, content) {this.editor.insertIntoLine(line, position, content);},
|
|
||||||
selectLines: function(startLine, startOffset, endLine, endOffset) {
|
|
||||||
this.win.focus();
|
|
||||||
this.editor.selectLines(startLine, startOffset, endLine, endOffset);
|
|
||||||
},
|
|
||||||
nthLine: function(n) {
|
|
||||||
var line = this.firstLine();
|
|
||||||
for (; n > 1 && line !== false; n--)
|
|
||||||
line = this.nextLine(line);
|
|
||||||
return line;
|
|
||||||
},
|
|
||||||
lineNumber: function(line) {
|
|
||||||
var num = 0;
|
|
||||||
while (line !== false) {
|
|
||||||
num++;
|
|
||||||
line = this.prevLine(line);
|
|
||||||
}
|
|
||||||
return num;
|
|
||||||
},
|
|
||||||
jumpToLine: function(line) {
|
|
||||||
if (typeof line == "number") line = this.nthLine(line);
|
|
||||||
this.selectLines(line, 0);
|
|
||||||
this.win.focus();
|
|
||||||
},
|
|
||||||
currentLine: function() { // Deprecated, but still there for backward compatibility
|
|
||||||
return this.lineNumber(this.cursorLine());
|
|
||||||
},
|
|
||||||
cursorLine: function() {
|
|
||||||
return this.cursorPosition().line;
|
|
||||||
},
|
|
||||||
cursorCoords: function(start) {return this.editor.cursorCoords(start);},
|
|
||||||
|
|
||||||
activateLineNumbers: function() {
|
|
||||||
var frame = this.frame, win = frame.contentWindow, doc = win.document, body = doc.body,
|
|
||||||
nums = this.lineNumbers, scroller = nums.firstChild, self = this;
|
|
||||||
var barWidth = null;
|
|
||||||
|
|
||||||
nums.onclick = function(e) {
|
|
||||||
var handler = self.options.onLineNumberClick;
|
|
||||||
if (handler) {
|
|
||||||
var div = (e || window.event).target || (e || window.event).srcElement;
|
|
||||||
var num = div == nums ? NaN : Number(div.innerHTML);
|
|
||||||
if (!isNaN(num)) handler(num, div);
|
|
||||||
}
|
|
||||||
};
|
|
||||||
|
|
||||||
function sizeBar() {
|
|
||||||
if (frame.offsetWidth == 0) return;
|
|
||||||
for (var root = frame; root.parentNode; root = root.parentNode){}
|
|
||||||
if (!nums.parentNode || root != document || !win.Editor) {
|
|
||||||
// Clear event handlers (their nodes might already be collected, so try/catch)
|
|
||||||
try{clear();}catch(e){}
|
|
||||||
clearInterval(sizeInterval);
|
|
||||||
return;
|
|
||||||
}
|
|
||||||
|
|
||||||
if (nums.offsetWidth != barWidth) {
|
|
||||||
barWidth = nums.offsetWidth;
|
|
||||||
frame.parentNode.style.paddingLeft = barWidth + "px";
|
|
||||||
}
|
|
||||||
}
|
|
||||||
function doScroll() {
|
|
||||||
nums.scrollTop = body.scrollTop || doc.documentElement.scrollTop || 0;
|
|
||||||
}
|
|
||||||
// Cleanup function, registered by nonWrapping and wrapping.
|
|
||||||
var clear = function(){};
|
|
||||||
sizeBar();
|
|
||||||
var sizeInterval = setInterval(sizeBar, 500);
|
|
||||||
|
|
||||||
function ensureEnoughLineNumbers(fill) {
|
|
||||||
var lineHeight = scroller.firstChild.offsetHeight;
|
|
||||||
if (lineHeight == 0) return;
|
|
||||||
var targetHeight = 50 + Math.max(body.offsetHeight, Math.max(frame.offsetHeight, body.scrollHeight || 0)),
|
|
||||||
lastNumber = Math.ceil(targetHeight / lineHeight);
|
|
||||||
for (var i = scroller.childNodes.length; i <= lastNumber; i++) {
|
|
||||||
var div = createHTMLElement("div");
|
|
||||||
div.appendChild(document.createTextNode(fill ? String(i + self.options.firstLineNumber) : "\u00a0"));
|
|
||||||
scroller.appendChild(div);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
function nonWrapping() {
|
|
||||||
function update() {
|
|
||||||
ensureEnoughLineNumbers(true);
|
|
||||||
doScroll();
|
|
||||||
}
|
|
||||||
self.updateNumbers = update;
|
|
||||||
var onScroll = win.addEventHandler(win, "scroll", doScroll, true),
|
|
||||||
onResize = win.addEventHandler(win, "resize", update, true);
|
|
||||||
clear = function(){
|
|
||||||
onScroll(); onResize();
|
|
||||||
if (self.updateNumbers == update) self.updateNumbers = null;
|
|
||||||
};
|
|
||||||
update();
|
|
||||||
}
|
|
||||||
|
|
||||||
function wrapping() {
|
|
||||||
var node, lineNum, next, pos, changes = [], styleNums = self.options.styleNumbers;
|
|
||||||
|
|
||||||
function setNum(n, node) {
|
|
||||||
// Does not typically happen (but can, if you mess with the
|
|
||||||
// document during the numbering)
|
|
||||||
if (!lineNum) lineNum = scroller.appendChild(createHTMLElement("div"));
|
|
||||||
if (styleNums) styleNums(lineNum, node, n);
|
|
||||||
// Changes are accumulated, so that the document layout
|
|
||||||
// doesn't have to be recomputed during the pass
|
|
||||||
changes.push(lineNum); changes.push(n);
|
|
||||||
pos = lineNum.offsetHeight + lineNum.offsetTop;
|
|
||||||
lineNum = lineNum.nextSibling;
|
|
||||||
}
|
|
||||||
function commitChanges() {
|
|
||||||
for (var i = 0; i < changes.length; i += 2)
|
|
||||||
changes[i].innerHTML = changes[i + 1];
|
|
||||||
changes = [];
|
|
||||||
}
|
|
||||||
function work() {
|
|
||||||
if (!scroller.parentNode || scroller.parentNode != self.lineNumbers) return;
|
|
||||||
|
|
||||||
var endTime = new Date().getTime() + self.options.lineNumberTime;
|
|
||||||
while (node) {
|
|
||||||
setNum(next++, node.previousSibling);
|
|
||||||
for (; node && !win.isBR(node); node = node.nextSibling) {
|
|
||||||
var bott = node.offsetTop + node.offsetHeight;
|
|
||||||
while (scroller.offsetHeight && bott - 3 > pos) {
|
|
||||||
var oldPos = pos;
|
|
||||||
setNum(" ");
|
|
||||||
if (pos <= oldPos) break;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
if (node) node = node.nextSibling;
|
|
||||||
if (new Date().getTime() > endTime) {
|
|
||||||
commitChanges();
|
|
||||||
pending = setTimeout(work, self.options.lineNumberDelay);
|
|
||||||
return;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
while (lineNum) setNum(next++);
|
|
||||||
commitChanges();
|
|
||||||
doScroll();
|
|
||||||
}
|
|
||||||
function start(firstTime) {
|
|
||||||
doScroll();
|
|
||||||
ensureEnoughLineNumbers(firstTime);
|
|
||||||
node = body.firstChild;
|
|
||||||
lineNum = scroller.firstChild;
|
|
||||||
pos = 0;
|
|
||||||
next = self.options.firstLineNumber;
|
|
||||||
work();
|
|
||||||
}
|
|
||||||
|
|
||||||
start(true);
|
|
||||||
var pending = null;
|
|
||||||
function update() {
|
|
||||||
if (pending) clearTimeout(pending);
|
|
||||||
if (self.editor.allClean()) start();
|
|
||||||
else pending = setTimeout(update, 200);
|
|
||||||
}
|
|
||||||
self.updateNumbers = update;
|
|
||||||
var onScroll = win.addEventHandler(win, "scroll", doScroll, true),
|
|
||||||
onResize = win.addEventHandler(win, "resize", update, true);
|
|
||||||
clear = function(){
|
|
||||||
if (pending) clearTimeout(pending);
|
|
||||||
if (self.updateNumbers == update) self.updateNumbers = null;
|
|
||||||
onScroll();
|
|
||||||
onResize();
|
|
||||||
};
|
|
||||||
}
|
|
||||||
(this.options.textWrapping || this.options.styleNumbers ? wrapping : nonWrapping)();
|
|
||||||
},
|
|
||||||
|
|
||||||
setDynamicHeight: function() {
|
|
||||||
var self = this, activity = self.options.onCursorActivity, win = self.win, body = win.document.body,
|
|
||||||
lineHeight = null, timeout = null, vmargin = 2 * self.frame.offsetTop;
|
|
||||||
body.style.overflowY = "hidden";
|
|
||||||
win.document.documentElement.style.overflowY = "hidden";
|
|
||||||
this.frame.scrolling = "no";
|
|
||||||
|
|
||||||
function updateHeight() {
|
|
||||||
var trailingLines = 0, node = body.lastChild, computedHeight;
|
|
||||||
while (node && win.isBR(node)) {
|
|
||||||
if (!node.hackBR) trailingLines++;
|
|
||||||
node = node.previousSibling;
|
|
||||||
}
|
|
||||||
if (node) {
|
|
||||||
lineHeight = node.offsetHeight;
|
|
||||||
computedHeight = node.offsetTop + (1 + trailingLines) * lineHeight;
|
|
||||||
}
|
|
||||||
else if (lineHeight) {
|
|
||||||
computedHeight = trailingLines * lineHeight;
|
|
||||||
}
|
|
||||||
if (computedHeight)
|
|
||||||
self.wrapping.style.height = Math.max(vmargin + computedHeight, self.options.minHeight) + "px";
|
|
||||||
}
|
|
||||||
setTimeout(updateHeight, 300);
|
|
||||||
self.options.onCursorActivity = function(x) {
|
|
||||||
if (activity) activity(x);
|
|
||||||
clearTimeout(timeout);
|
|
||||||
timeout = setTimeout(updateHeight, 100);
|
|
||||||
};
|
|
||||||
}
|
|
||||||
};
|
|
||||||
|
|
||||||
CodeMirror.InvalidLineHandle = {toString: function(){return "CodeMirror.InvalidLineHandle";}};
|
|
||||||
|
|
||||||
CodeMirror.replace = function(element) {
|
|
||||||
if (typeof element == "string")
|
|
||||||
element = document.getElementById(element);
|
|
||||||
return function(newElement) {
|
|
||||||
element.parentNode.replaceChild(newElement, element);
|
|
||||||
};
|
|
||||||
};
|
|
||||||
|
|
||||||
CodeMirror.fromTextArea = function(area, options) {
|
|
||||||
if (typeof area == "string")
|
|
||||||
area = document.getElementById(area);
|
|
||||||
|
|
||||||
options = options || {};
|
|
||||||
if (area.style.width && options.width == null)
|
|
||||||
options.width = area.style.width;
|
|
||||||
if (area.style.height && options.height == null)
|
|
||||||
options.height = area.style.height;
|
|
||||||
if (options.content == null) options.content = area.value;
|
|
||||||
|
|
||||||
function updateField() {
|
|
||||||
area.value = mirror.getCode();
|
|
||||||
}
|
|
||||||
if (area.form) {
|
|
||||||
if (typeof area.form.addEventListener == "function")
|
|
||||||
area.form.addEventListener("submit", updateField, false);
|
|
||||||
else
|
|
||||||
area.form.attachEvent("onsubmit", updateField);
|
|
||||||
var realSubmit = area.form.submit;
|
|
||||||
function wrapSubmit() {
|
|
||||||
updateField();
|
|
||||||
// Can't use realSubmit.apply because IE6 is too stupid
|
|
||||||
area.form.submit = realSubmit;
|
|
||||||
area.form.submit();
|
|
||||||
area.form.submit = wrapSubmit;
|
|
||||||
}
|
|
||||||
try {area.form.submit = wrapSubmit;} catch(e){}
|
|
||||||
}
|
|
||||||
|
|
||||||
function insert(frame) {
|
|
||||||
if (area.nextSibling)
|
|
||||||
area.parentNode.insertBefore(frame, area.nextSibling);
|
|
||||||
else
|
|
||||||
area.parentNode.appendChild(frame);
|
|
||||||
}
|
|
||||||
|
|
||||||
area.style.display = "none";
|
|
||||||
var mirror = new CodeMirror(insert, options);
|
|
||||||
mirror.save = updateField;
|
|
||||||
mirror.toTextArea = function() {
|
|
||||||
updateField();
|
|
||||||
area.parentNode.removeChild(mirror.wrapping);
|
|
||||||
area.style.display = "";
|
|
||||||
if (area.form) {
|
|
||||||
try {area.form.submit = realSubmit;} catch(e) {}
|
|
||||||
if (typeof area.form.removeEventListener == "function")
|
|
||||||
area.form.removeEventListener("submit", updateField, false);
|
|
||||||
else
|
|
||||||
area.form.detachEvent("onsubmit", updateField);
|
|
||||||
}
|
|
||||||
};
|
|
||||||
|
|
||||||
return mirror;
|
|
||||||
};
|
|
||||||
|
|
||||||
CodeMirror.isProbablySupported = function() {
|
|
||||||
// This is rather awful, but can be useful.
|
|
||||||
var match;
|
|
||||||
if (window.opera)
|
|
||||||
return Number(window.opera.version()) >= 9.52;
|
|
||||||
else if (/Apple Computer, Inc/.test(navigator.vendor) && (match = navigator.userAgent.match(/Version\/(\d+(?:\.\d+)?)\./)))
|
|
||||||
return Number(match[1]) >= 3;
|
|
||||||
else if (document.selection && window.ActiveXObject && (match = navigator.userAgent.match(/MSIE (\d+(?:\.\d*)?)\b/)))
|
|
||||||
return Number(match[1]) >= 6;
|
|
||||||
else if (match = navigator.userAgent.match(/gecko\/(\d{8})/i))
|
|
||||||
return Number(match[1]) >= 20050901;
|
|
||||||
else if (match = navigator.userAgent.match(/AppleWebKit\/(\d+)/))
|
|
||||||
return Number(match[1]) >= 525;
|
|
||||||
else
|
|
||||||
return null;
|
|
||||||
};
|
|
||||||
|
|
||||||
return CodeMirror;
|
|
||||||
})();
|
|
||||||
File diff suppressed because it is too large
Load Diff
@@ -1,68 +0,0 @@
|
|||||||
// Minimal framing needed to use CodeMirror-style parsers to highlight
|
|
||||||
// code. Load this along with tokenize.js, stringstream.js, and your
|
|
||||||
// parser. Then call highlightText, passing a string as the first
|
|
||||||
// argument, and as the second argument either a callback function
|
|
||||||
// that will be called with an array of SPAN nodes for every line in
|
|
||||||
// the code, or a DOM node to which to append these spans, and
|
|
||||||
// optionally (not needed if you only loaded one parser) a parser
|
|
||||||
// object.
|
|
||||||
|
|
||||||
// Stuff from util.js that the parsers are using.
|
|
||||||
var StopIteration = {toString: function() {return "StopIteration"}};
|
|
||||||
|
|
||||||
var Editor = {};
|
|
||||||
var indentUnit = 2;
|
|
||||||
|
|
||||||
(function(){
|
|
||||||
function normaliseString(string) {
|
|
||||||
var tab = "";
|
|
||||||
for (var i = 0; i < indentUnit; i++) tab += " ";
|
|
||||||
|
|
||||||
string = string.replace(/\t/g, tab).replace(/\u00a0/g, " ").replace(/\r\n?/g, "\n");
|
|
||||||
var pos = 0, parts = [], lines = string.split("\n");
|
|
||||||
for (var line = 0; line < lines.length; line++) {
|
|
||||||
if (line != 0) parts.push("\n");
|
|
||||||
parts.push(lines[line]);
|
|
||||||
}
|
|
||||||
|
|
||||||
return {
|
|
||||||
next: function() {
|
|
||||||
if (pos < parts.length) return parts[pos++];
|
|
||||||
else throw StopIteration;
|
|
||||||
}
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
window.highlightText = function(string, callback, parser) {
|
|
||||||
parser = (parser || Editor.Parser).make(stringStream(normaliseString(string)));
|
|
||||||
var line = [];
|
|
||||||
if (callback.nodeType == 1) {
|
|
||||||
var node = callback;
|
|
||||||
callback = function(line) {
|
|
||||||
for (var i = 0; i < line.length; i++)
|
|
||||||
node.appendChild(line[i]);
|
|
||||||
node.appendChild(document.createElement("br"));
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
try {
|
|
||||||
while (true) {
|
|
||||||
var token = parser.next();
|
|
||||||
if (token.value == "\n") {
|
|
||||||
callback(line);
|
|
||||||
line = [];
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
var span = document.createElement("span");
|
|
||||||
span.className = token.style;
|
|
||||||
span.appendChild(document.createTextNode(token.value));
|
|
||||||
line.push(span);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
catch (e) {
|
|
||||||
if (e != StopIteration) throw e;
|
|
||||||
}
|
|
||||||
if (line.length) callback(line);
|
|
||||||
}
|
|
||||||
})();
|
|
||||||
@@ -1,81 +0,0 @@
|
|||||||
/* Demonstration of embedding CodeMirror in a bigger application. The
|
|
||||||
* interface defined here is a mess of prompts and confirms, and
|
|
||||||
* should probably not be used in a real project.
|
|
||||||
*/
|
|
||||||
|
|
||||||
function MirrorFrame(place, options) {
|
|
||||||
this.home = document.createElement("div");
|
|
||||||
if (place.appendChild)
|
|
||||||
place.appendChild(this.home);
|
|
||||||
else
|
|
||||||
place(this.home);
|
|
||||||
|
|
||||||
var self = this;
|
|
||||||
function makeButton(name, action) {
|
|
||||||
var button = document.createElement("input");
|
|
||||||
button.type = "button";
|
|
||||||
button.value = name;
|
|
||||||
self.home.appendChild(button);
|
|
||||||
button.onclick = function(){self[action].call(self);};
|
|
||||||
}
|
|
||||||
|
|
||||||
makeButton("Search", "search");
|
|
||||||
makeButton("Replace", "replace");
|
|
||||||
makeButton("Current line", "line");
|
|
||||||
makeButton("Jump to line", "jump");
|
|
||||||
makeButton("Insert constructor", "macro");
|
|
||||||
makeButton("Indent all", "reindent");
|
|
||||||
|
|
||||||
this.mirror = new CodeMirror(this.home, options);
|
|
||||||
}
|
|
||||||
|
|
||||||
MirrorFrame.prototype = {
|
|
||||||
search: function() {
|
|
||||||
var text = prompt("Enter search term:", "");
|
|
||||||
if (!text) return;
|
|
||||||
|
|
||||||
var first = true;
|
|
||||||
do {
|
|
||||||
var cursor = this.mirror.getSearchCursor(text, first);
|
|
||||||
first = false;
|
|
||||||
while (cursor.findNext()) {
|
|
||||||
cursor.select();
|
|
||||||
if (!confirm("Search again?"))
|
|
||||||
return;
|
|
||||||
}
|
|
||||||
} while (confirm("End of document reached. Start over?"));
|
|
||||||
},
|
|
||||||
|
|
||||||
replace: function() {
|
|
||||||
// This is a replace-all, but it is possible to implement a
|
|
||||||
// prompting replace.
|
|
||||||
var from = prompt("Enter search string:", ""), to;
|
|
||||||
if (from) to = prompt("What should it be replaced with?", "");
|
|
||||||
if (to == null) return;
|
|
||||||
|
|
||||||
var cursor = this.mirror.getSearchCursor(from, false);
|
|
||||||
while (cursor.findNext())
|
|
||||||
cursor.replace(to);
|
|
||||||
},
|
|
||||||
|
|
||||||
jump: function() {
|
|
||||||
var line = prompt("Jump to line:", "");
|
|
||||||
if (line && !isNaN(Number(line)))
|
|
||||||
this.mirror.jumpToLine(Number(line));
|
|
||||||
},
|
|
||||||
|
|
||||||
line: function() {
|
|
||||||
alert("The cursor is currently at line " + this.mirror.currentLine());
|
|
||||||
this.mirror.focus();
|
|
||||||
},
|
|
||||||
|
|
||||||
macro: function() {
|
|
||||||
var name = prompt("Name your constructor:", "");
|
|
||||||
if (name)
|
|
||||||
this.mirror.replaceSelection("function " + name + "() {\n \n}\n\n" + name + ".prototype = {\n \n};\n");
|
|
||||||
},
|
|
||||||
|
|
||||||
reindent: function() {
|
|
||||||
this.mirror.reindent();
|
|
||||||
}
|
|
||||||
};
|
|
||||||
@@ -1,161 +0,0 @@
|
|||||||
/* Simple parser for CSS */
|
|
||||||
|
|
||||||
var CSSParser = Editor.Parser = (function() {
|
|
||||||
var tokenizeCSS = (function() {
|
|
||||||
function normal(source, setState) {
|
|
||||||
var ch = source.next();
|
|
||||||
if (ch == "@") {
|
|
||||||
source.nextWhileMatches(/\w/);
|
|
||||||
return "css-at";
|
|
||||||
}
|
|
||||||
else if (ch == "/" && source.equals("*")) {
|
|
||||||
setState(inCComment);
|
|
||||||
return null;
|
|
||||||
}
|
|
||||||
else if (ch == "<" && source.equals("!")) {
|
|
||||||
setState(inSGMLComment);
|
|
||||||
return null;
|
|
||||||
}
|
|
||||||
else if (ch == "=") {
|
|
||||||
return "css-compare";
|
|
||||||
}
|
|
||||||
else if (source.equals("=") && (ch == "~" || ch == "|")) {
|
|
||||||
source.next();
|
|
||||||
return "css-compare";
|
|
||||||
}
|
|
||||||
else if (ch == "\"" || ch == "'") {
|
|
||||||
setState(inString(ch));
|
|
||||||
return null;
|
|
||||||
}
|
|
||||||
else if (ch == "#") {
|
|
||||||
source.nextWhileMatches(/\w/);
|
|
||||||
return "css-hash";
|
|
||||||
}
|
|
||||||
else if (ch == "!") {
|
|
||||||
source.nextWhileMatches(/[ \t]/);
|
|
||||||
source.nextWhileMatches(/\w/);
|
|
||||||
return "css-important";
|
|
||||||
}
|
|
||||||
else if (/\d/.test(ch)) {
|
|
||||||
source.nextWhileMatches(/[\w.%]/);
|
|
||||||
return "css-unit";
|
|
||||||
}
|
|
||||||
else if (/[,.+>*\/]/.test(ch)) {
|
|
||||||
return "css-select-op";
|
|
||||||
}
|
|
||||||
else if (/[;{}:\[\]]/.test(ch)) {
|
|
||||||
return "css-punctuation";
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
source.nextWhileMatches(/[\w\\\-_]/);
|
|
||||||
return "css-identifier";
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
function inCComment(source, setState) {
|
|
||||||
var maybeEnd = false;
|
|
||||||
while (!source.endOfLine()) {
|
|
||||||
var ch = source.next();
|
|
||||||
if (maybeEnd && ch == "/") {
|
|
||||||
setState(normal);
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
maybeEnd = (ch == "*");
|
|
||||||
}
|
|
||||||
return "css-comment";
|
|
||||||
}
|
|
||||||
|
|
||||||
function inSGMLComment(source, setState) {
|
|
||||||
var dashes = 0;
|
|
||||||
while (!source.endOfLine()) {
|
|
||||||
var ch = source.next();
|
|
||||||
if (dashes >= 2 && ch == ">") {
|
|
||||||
setState(normal);
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
dashes = (ch == "-") ? dashes + 1 : 0;
|
|
||||||
}
|
|
||||||
return "css-comment";
|
|
||||||
}
|
|
||||||
|
|
||||||
function inString(quote) {
|
|
||||||
return function(source, setState) {
|
|
||||||
var escaped = false;
|
|
||||||
while (!source.endOfLine()) {
|
|
||||||
var ch = source.next();
|
|
||||||
if (ch == quote && !escaped)
|
|
||||||
break;
|
|
||||||
escaped = !escaped && ch == "\\";
|
|
||||||
}
|
|
||||||
if (!escaped)
|
|
||||||
setState(normal);
|
|
||||||
return "css-string";
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
return function(source, startState) {
|
|
||||||
return tokenizer(source, startState || normal);
|
|
||||||
};
|
|
||||||
})();
|
|
||||||
|
|
||||||
function indentCSS(inBraces, inRule, base) {
|
|
||||||
return function(nextChars) {
|
|
||||||
if (!inBraces || /^\}/.test(nextChars)) return base;
|
|
||||||
else if (inRule) return base + indentUnit * 2;
|
|
||||||
else return base + indentUnit;
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
// This is a very simplistic parser -- since CSS does not really
|
|
||||||
// nest, it works acceptably well, but some nicer colouroing could
|
|
||||||
// be provided with a more complicated parser.
|
|
||||||
function parseCSS(source, basecolumn) {
|
|
||||||
basecolumn = basecolumn || 0;
|
|
||||||
var tokens = tokenizeCSS(source);
|
|
||||||
var inBraces = false, inRule = false, inDecl = false;;
|
|
||||||
|
|
||||||
var iter = {
|
|
||||||
next: function() {
|
|
||||||
var token = tokens.next(), style = token.style, content = token.content;
|
|
||||||
|
|
||||||
if (style == "css-hash")
|
|
||||||
style = token.style = inRule ? "css-colorcode" : "css-identifier";
|
|
||||||
if (style == "css-identifier") {
|
|
||||||
if (inRule) token.style = "css-value";
|
|
||||||
else if (!inBraces && !inDecl) token.style = "css-selector";
|
|
||||||
}
|
|
||||||
|
|
||||||
if (content == "\n")
|
|
||||||
token.indentation = indentCSS(inBraces, inRule, basecolumn);
|
|
||||||
|
|
||||||
if (content == "{" && inDecl == "@media")
|
|
||||||
inDecl = false;
|
|
||||||
else if (content == "{")
|
|
||||||
inBraces = true;
|
|
||||||
else if (content == "}")
|
|
||||||
inBraces = inRule = inDecl = false;
|
|
||||||
else if (content == ";")
|
|
||||||
inRule = inDecl = false;
|
|
||||||
else if (inBraces && style != "css-comment" && style != "whitespace")
|
|
||||||
inRule = true;
|
|
||||||
else if (!inBraces && style == "css-at")
|
|
||||||
inDecl = content;
|
|
||||||
|
|
||||||
return token;
|
|
||||||
},
|
|
||||||
|
|
||||||
copy: function() {
|
|
||||||
var _inBraces = inBraces, _inRule = inRule, _tokenState = tokens.state;
|
|
||||||
return function(source) {
|
|
||||||
tokens = tokenizeCSS(source, _tokenState);
|
|
||||||
inBraces = _inBraces;
|
|
||||||
inRule = _inRule;
|
|
||||||
return iter;
|
|
||||||
};
|
|
||||||
}
|
|
||||||
};
|
|
||||||
return iter;
|
|
||||||
}
|
|
||||||
|
|
||||||
return {make: parseCSS, electricChars: "}"};
|
|
||||||
})();
|
|
||||||
@@ -1,32 +0,0 @@
|
|||||||
var DummyParser = Editor.Parser = (function() {
|
|
||||||
function tokenizeDummy(source) {
|
|
||||||
while (!source.endOfLine()) source.next();
|
|
||||||
return "text";
|
|
||||||
}
|
|
||||||
function parseDummy(source) {
|
|
||||||
function indentTo(n) {return function() {return n;}}
|
|
||||||
source = tokenizer(source, tokenizeDummy);
|
|
||||||
var space = 0;
|
|
||||||
|
|
||||||
var iter = {
|
|
||||||
next: function() {
|
|
||||||
var tok = source.next();
|
|
||||||
if (tok.type == "whitespace") {
|
|
||||||
if (tok.value == "\n") tok.indentation = indentTo(space);
|
|
||||||
else space = tok.value.length;
|
|
||||||
}
|
|
||||||
return tok;
|
|
||||||
},
|
|
||||||
copy: function() {
|
|
||||||
var _space = space;
|
|
||||||
return function(_source) {
|
|
||||||
space = _space;
|
|
||||||
source = tokenizer(_source, tokenizeDummy);
|
|
||||||
return iter;
|
|
||||||
};
|
|
||||||
}
|
|
||||||
};
|
|
||||||
return iter;
|
|
||||||
}
|
|
||||||
return {make: parseDummy};
|
|
||||||
})();
|
|
||||||
@@ -1,93 +0,0 @@
|
|||||||
var HTMLMixedParser = Editor.Parser = (function() {
|
|
||||||
|
|
||||||
// tags that trigger seperate parsers
|
|
||||||
var triggers = {
|
|
||||||
"script": "JSParser",
|
|
||||||
"style": "CSSParser"
|
|
||||||
};
|
|
||||||
|
|
||||||
function checkDependencies() {
|
|
||||||
var parsers = ['XMLParser'];
|
|
||||||
for (var p in triggers) parsers.push(triggers[p]);
|
|
||||||
for (var i in parsers) {
|
|
||||||
if (!window[parsers[i]]) throw new Error(parsers[i] + " parser must be loaded for HTML mixed mode to work.");
|
|
||||||
}
|
|
||||||
XMLParser.configure({useHTMLKludges: true});
|
|
||||||
}
|
|
||||||
|
|
||||||
function parseMixed(stream) {
|
|
||||||
checkDependencies();
|
|
||||||
var htmlParser = XMLParser.make(stream), localParser = null, inTag = false;
|
|
||||||
var iter = {next: top, copy: copy};
|
|
||||||
|
|
||||||
function top() {
|
|
||||||
var token = htmlParser.next();
|
|
||||||
if (token.content == "<")
|
|
||||||
inTag = true;
|
|
||||||
else if (token.style == "xml-tagname" && inTag === true)
|
|
||||||
inTag = token.content.toLowerCase();
|
|
||||||
else if (token.content == ">") {
|
|
||||||
if (triggers[inTag]) {
|
|
||||||
var parser = window[triggers[inTag]];
|
|
||||||
iter.next = local(parser, "</" + inTag);
|
|
||||||
}
|
|
||||||
inTag = false;
|
|
||||||
}
|
|
||||||
return token;
|
|
||||||
}
|
|
||||||
function local(parser, tag) {
|
|
||||||
var baseIndent = htmlParser.indentation();
|
|
||||||
localParser = parser.make(stream, baseIndent + indentUnit);
|
|
||||||
return function() {
|
|
||||||
if (stream.lookAhead(tag, false, false, true)) {
|
|
||||||
localParser = null;
|
|
||||||
iter.next = top;
|
|
||||||
return top();
|
|
||||||
}
|
|
||||||
|
|
||||||
var token = localParser.next();
|
|
||||||
var lt = token.value.lastIndexOf("<"), sz = Math.min(token.value.length - lt, tag.length);
|
|
||||||
if (lt != -1 && token.value.slice(lt, lt + sz).toLowerCase() == tag.slice(0, sz) &&
|
|
||||||
stream.lookAhead(tag.slice(sz), false, false, true)) {
|
|
||||||
stream.push(token.value.slice(lt));
|
|
||||||
token.value = token.value.slice(0, lt);
|
|
||||||
}
|
|
||||||
|
|
||||||
if (token.indentation) {
|
|
||||||
var oldIndent = token.indentation;
|
|
||||||
token.indentation = function(chars) {
|
|
||||||
if (chars == "</")
|
|
||||||
return baseIndent;
|
|
||||||
else
|
|
||||||
return oldIndent(chars);
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
return token;
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
function copy() {
|
|
||||||
var _html = htmlParser.copy(), _local = localParser && localParser.copy(),
|
|
||||||
_next = iter.next, _inTag = inTag;
|
|
||||||
return function(_stream) {
|
|
||||||
stream = _stream;
|
|
||||||
htmlParser = _html(_stream);
|
|
||||||
localParser = _local && _local(_stream);
|
|
||||||
iter.next = _next;
|
|
||||||
inTag = _inTag;
|
|
||||||
return iter;
|
|
||||||
};
|
|
||||||
}
|
|
||||||
return iter;
|
|
||||||
}
|
|
||||||
|
|
||||||
return {
|
|
||||||
make: parseMixed,
|
|
||||||
electricChars: "{}/:",
|
|
||||||
configure: function(obj) {
|
|
||||||
if (obj.triggers) triggers = obj.triggers;
|
|
||||||
}
|
|
||||||
};
|
|
||||||
|
|
||||||
})();
|
|
||||||
@@ -1,359 +0,0 @@
|
|||||||
/* Parse function for JavaScript. Makes use of the tokenizer from
|
|
||||||
* tokenizejavascript.js. Note that your parsers do not have to be
|
|
||||||
* this complicated -- if you don't want to recognize local variables,
|
|
||||||
* in many languages it is enough to just look for braces, semicolons,
|
|
||||||
* parentheses, etc, and know when you are inside a string or comment.
|
|
||||||
*
|
|
||||||
* See manual.html for more info about the parser interface.
|
|
||||||
*/
|
|
||||||
|
|
||||||
var JSParser = Editor.Parser = (function() {
|
|
||||||
// Token types that can be considered to be atoms.
|
|
||||||
var atomicTypes = {"atom": true, "number": true, "variable": true, "string": true, "regexp": true};
|
|
||||||
// Setting that can be used to have JSON data indent properly.
|
|
||||||
var json = false;
|
|
||||||
// Constructor for the lexical context objects.
|
|
||||||
function JSLexical(indented, column, type, align, prev, info) {
|
|
||||||
// indentation at start of this line
|
|
||||||
this.indented = indented;
|
|
||||||
// column at which this scope was opened
|
|
||||||
this.column = column;
|
|
||||||
// type of scope ('vardef', 'stat' (statement), 'form' (special form), '[', '{', or '(')
|
|
||||||
this.type = type;
|
|
||||||
// '[', '{', or '(' blocks that have any text after their opening
|
|
||||||
// character are said to be 'aligned' -- any lines below are
|
|
||||||
// indented all the way to the opening character.
|
|
||||||
if (align != null)
|
|
||||||
this.align = align;
|
|
||||||
// Parent scope, if any.
|
|
||||||
this.prev = prev;
|
|
||||||
this.info = info;
|
|
||||||
}
|
|
||||||
|
|
||||||
// My favourite JavaScript indentation rules.
|
|
||||||
function indentJS(lexical) {
|
|
||||||
return function(firstChars) {
|
|
||||||
var firstChar = firstChars && firstChars.charAt(0), type = lexical.type;
|
|
||||||
var closing = firstChar == type;
|
|
||||||
if (type == "vardef")
|
|
||||||
return lexical.indented + 4;
|
|
||||||
else if (type == "form" && firstChar == "{")
|
|
||||||
return lexical.indented;
|
|
||||||
else if (type == "stat" || type == "form")
|
|
||||||
return lexical.indented + indentUnit;
|
|
||||||
else if (lexical.info == "switch" && !closing)
|
|
||||||
return lexical.indented + (/^(?:case|default)\b/.test(firstChars) ? indentUnit : 2 * indentUnit);
|
|
||||||
else if (lexical.align)
|
|
||||||
return lexical.column - (closing ? 1 : 0);
|
|
||||||
else
|
|
||||||
return lexical.indented + (closing ? 0 : indentUnit);
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
// The parser-iterator-producing function itself.
|
|
||||||
function parseJS(input, basecolumn) {
|
|
||||||
// Wrap the input in a token stream
|
|
||||||
var tokens = tokenizeJavaScript(input);
|
|
||||||
// The parser state. cc is a stack of actions that have to be
|
|
||||||
// performed to finish the current statement. For example we might
|
|
||||||
// know that we still need to find a closing parenthesis and a
|
|
||||||
// semicolon. Actions at the end of the stack go first. It is
|
|
||||||
// initialized with an infinitely looping action that consumes
|
|
||||||
// whole statements.
|
|
||||||
var cc = [json ? expressions : statements];
|
|
||||||
// Context contains information about the current local scope, the
|
|
||||||
// variables defined in that, and the scopes above it.
|
|
||||||
var context = null;
|
|
||||||
// The lexical scope, used mostly for indentation.
|
|
||||||
var lexical = new JSLexical((basecolumn || 0) - indentUnit, 0, "block", false);
|
|
||||||
// Current column, and the indentation at the start of the current
|
|
||||||
// line. Used to create lexical scope objects.
|
|
||||||
var column = 0;
|
|
||||||
var indented = 0;
|
|
||||||
// Variables which are used by the mark, cont, and pass functions
|
|
||||||
// below to communicate with the driver loop in the 'next'
|
|
||||||
// function.
|
|
||||||
var consume, marked;
|
|
||||||
|
|
||||||
// The iterator object.
|
|
||||||
var parser = {next: next, copy: copy};
|
|
||||||
|
|
||||||
function next(){
|
|
||||||
// Start by performing any 'lexical' actions (adjusting the
|
|
||||||
// lexical variable), or the operations below will be working
|
|
||||||
// with the wrong lexical state.
|
|
||||||
while(cc[cc.length - 1].lex)
|
|
||||||
cc.pop()();
|
|
||||||
|
|
||||||
// Fetch a token.
|
|
||||||
var token = tokens.next();
|
|
||||||
|
|
||||||
// Adjust column and indented.
|
|
||||||
if (token.type == "whitespace" && column == 0)
|
|
||||||
indented = token.value.length;
|
|
||||||
column += token.value.length;
|
|
||||||
if (token.content == "\n"){
|
|
||||||
indented = column = 0;
|
|
||||||
// If the lexical scope's align property is still undefined at
|
|
||||||
// the end of the line, it is an un-aligned scope.
|
|
||||||
if (!("align" in lexical))
|
|
||||||
lexical.align = false;
|
|
||||||
// Newline tokens get an indentation function associated with
|
|
||||||
// them.
|
|
||||||
token.indentation = indentJS(lexical);
|
|
||||||
}
|
|
||||||
// No more processing for meaningless tokens.
|
|
||||||
if (token.type == "whitespace" || token.type == "comment")
|
|
||||||
return token;
|
|
||||||
// When a meaningful token is found and the lexical scope's
|
|
||||||
// align is undefined, it is an aligned scope.
|
|
||||||
if (!("align" in lexical))
|
|
||||||
lexical.align = true;
|
|
||||||
|
|
||||||
// Execute actions until one 'consumes' the token and we can
|
|
||||||
// return it.
|
|
||||||
while(true) {
|
|
||||||
consume = marked = false;
|
|
||||||
// Take and execute the topmost action.
|
|
||||||
cc.pop()(token.type, token.content);
|
|
||||||
if (consume){
|
|
||||||
// Marked is used to change the style of the current token.
|
|
||||||
if (marked)
|
|
||||||
token.style = marked;
|
|
||||||
// Here we differentiate between local and global variables.
|
|
||||||
else if (token.type == "variable" && inScope(token.content))
|
|
||||||
token.style = "js-localvariable";
|
|
||||||
return token;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// This makes a copy of the parser state. It stores all the
|
|
||||||
// stateful variables in a closure, and returns a function that
|
|
||||||
// will restore them when called with a new input stream. Note
|
|
||||||
// that the cc array has to be copied, because it is contantly
|
|
||||||
// being modified. Lexical objects are not mutated, and context
|
|
||||||
// objects are not mutated in a harmful way, so they can be shared
|
|
||||||
// between runs of the parser.
|
|
||||||
function copy(){
|
|
||||||
var _context = context, _lexical = lexical, _cc = cc.concat([]), _tokenState = tokens.state;
|
|
||||||
|
|
||||||
return function copyParser(input){
|
|
||||||
context = _context;
|
|
||||||
lexical = _lexical;
|
|
||||||
cc = _cc.concat([]); // copies the array
|
|
||||||
column = indented = 0;
|
|
||||||
tokens = tokenizeJavaScript(input, _tokenState);
|
|
||||||
return parser;
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
// Helper function for pushing a number of actions onto the cc
|
|
||||||
// stack in reverse order.
|
|
||||||
function push(fs){
|
|
||||||
for (var i = fs.length - 1; i >= 0; i--)
|
|
||||||
cc.push(fs[i]);
|
|
||||||
}
|
|
||||||
// cont and pass are used by the action functions to add other
|
|
||||||
// actions to the stack. cont will cause the current token to be
|
|
||||||
// consumed, pass will leave it for the next action.
|
|
||||||
function cont(){
|
|
||||||
push(arguments);
|
|
||||||
consume = true;
|
|
||||||
}
|
|
||||||
function pass(){
|
|
||||||
push(arguments);
|
|
||||||
consume = false;
|
|
||||||
}
|
|
||||||
// Used to change the style of the current token.
|
|
||||||
function mark(style){
|
|
||||||
marked = style;
|
|
||||||
}
|
|
||||||
|
|
||||||
// Push a new scope. Will automatically link the current scope.
|
|
||||||
function pushcontext(){
|
|
||||||
context = {prev: context, vars: {"this": true, "arguments": true}};
|
|
||||||
}
|
|
||||||
// Pop off the current scope.
|
|
||||||
function popcontext(){
|
|
||||||
context = context.prev;
|
|
||||||
}
|
|
||||||
// Register a variable in the current scope.
|
|
||||||
function register(varname){
|
|
||||||
if (context){
|
|
||||||
mark("js-variabledef");
|
|
||||||
context.vars[varname] = true;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
// Check whether a variable is defined in the current scope.
|
|
||||||
function inScope(varname){
|
|
||||||
var cursor = context;
|
|
||||||
while (cursor) {
|
|
||||||
if (cursor.vars[varname])
|
|
||||||
return true;
|
|
||||||
cursor = cursor.prev;
|
|
||||||
}
|
|
||||||
return false;
|
|
||||||
}
|
|
||||||
|
|
||||||
// Push a new lexical context of the given type.
|
|
||||||
function pushlex(type, info) {
|
|
||||||
var result = function(){
|
|
||||||
lexical = new JSLexical(indented, column, type, null, lexical, info)
|
|
||||||
};
|
|
||||||
result.lex = true;
|
|
||||||
return result;
|
|
||||||
}
|
|
||||||
// Pop off the current lexical context.
|
|
||||||
function poplex(){
|
|
||||||
if (lexical.type == ")")
|
|
||||||
indented = lexical.indented;
|
|
||||||
lexical = lexical.prev;
|
|
||||||
}
|
|
||||||
poplex.lex = true;
|
|
||||||
// The 'lex' flag on these actions is used by the 'next' function
|
|
||||||
// to know they can (and have to) be ran before moving on to the
|
|
||||||
// next token.
|
|
||||||
|
|
||||||
// Creates an action that discards tokens until it finds one of
|
|
||||||
// the given type.
|
|
||||||
function expect(wanted){
|
|
||||||
return function expecting(type){
|
|
||||||
if (type == wanted) cont();
|
|
||||||
else if (wanted == ";") pass();
|
|
||||||
else cont(arguments.callee);
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
// Looks for a statement, and then calls itself.
|
|
||||||
function statements(type){
|
|
||||||
return pass(statement, statements);
|
|
||||||
}
|
|
||||||
function expressions(type){
|
|
||||||
return pass(expression, expressions);
|
|
||||||
}
|
|
||||||
// Dispatches various types of statements based on the type of the
|
|
||||||
// current token.
|
|
||||||
function statement(type){
|
|
||||||
if (type == "var") cont(pushlex("vardef"), vardef1, expect(";"), poplex);
|
|
||||||
else if (type == "keyword a") cont(pushlex("form"), expression, statement, poplex);
|
|
||||||
else if (type == "keyword b") cont(pushlex("form"), statement, poplex);
|
|
||||||
else if (type == "{") cont(pushlex("}"), block, poplex);
|
|
||||||
else if (type == ";") cont();
|
|
||||||
else if (type == "function") cont(functiondef);
|
|
||||||
else if (type == "for") cont(pushlex("form"), expect("("), pushlex(")"), forspec1, expect(")"), poplex, statement, poplex);
|
|
||||||
else if (type == "variable") cont(pushlex("stat"), maybelabel);
|
|
||||||
else if (type == "switch") cont(pushlex("form"), expression, pushlex("}", "switch"), expect("{"), block, poplex, poplex);
|
|
||||||
else if (type == "case") cont(expression, expect(":"));
|
|
||||||
else if (type == "default") cont(expect(":"));
|
|
||||||
else if (type == "catch") cont(pushlex("form"), pushcontext, expect("("), funarg, expect(")"), statement, poplex, popcontext);
|
|
||||||
else pass(pushlex("stat"), expression, expect(";"), poplex);
|
|
||||||
}
|
|
||||||
// Dispatch expression types.
|
|
||||||
function expression(type){
|
|
||||||
if (atomicTypes.hasOwnProperty(type)) cont(maybeoperator);
|
|
||||||
else if (type == "function") cont(functiondef);
|
|
||||||
else if (type == "keyword c") cont(expression);
|
|
||||||
else if (type == "(") cont(pushlex(")"), expression, expect(")"), poplex, maybeoperator);
|
|
||||||
else if (type == "operator") cont(expression);
|
|
||||||
else if (type == "[") cont(pushlex("]"), commasep(expression, "]"), poplex, maybeoperator);
|
|
||||||
else if (type == "{") cont(pushlex("}"), commasep(objprop, "}"), poplex, maybeoperator);
|
|
||||||
else cont();
|
|
||||||
}
|
|
||||||
// Called for places where operators, function calls, or
|
|
||||||
// subscripts are valid. Will skip on to the next action if none
|
|
||||||
// is found.
|
|
||||||
function maybeoperator(type, value){
|
|
||||||
if (type == "operator" && /\+\+|--/.test(value)) cont(maybeoperator);
|
|
||||||
else if (type == "operator") cont(expression);
|
|
||||||
else if (type == ";") pass();
|
|
||||||
else if (type == "(") cont(pushlex(")"), commasep(expression, ")"), poplex, maybeoperator);
|
|
||||||
else if (type == ".") cont(property, maybeoperator);
|
|
||||||
else if (type == "[") cont(pushlex("]"), expression, expect("]"), poplex, maybeoperator);
|
|
||||||
}
|
|
||||||
// When a statement starts with a variable name, it might be a
|
|
||||||
// label. If no colon follows, it's a regular statement.
|
|
||||||
function maybelabel(type){
|
|
||||||
if (type == ":") cont(poplex, statement);
|
|
||||||
else pass(maybeoperator, expect(";"), poplex);
|
|
||||||
}
|
|
||||||
// Property names need to have their style adjusted -- the
|
|
||||||
// tokenizer thinks they are variables.
|
|
||||||
function property(type){
|
|
||||||
if (type == "variable") {mark("js-property"); cont();}
|
|
||||||
}
|
|
||||||
// This parses a property and its value in an object literal.
|
|
||||||
function objprop(type){
|
|
||||||
if (type == "variable") mark("js-property");
|
|
||||||
if (atomicTypes.hasOwnProperty(type)) cont(expect(":"), expression);
|
|
||||||
}
|
|
||||||
// Parses a comma-separated list of the things that are recognized
|
|
||||||
// by the 'what' argument.
|
|
||||||
function commasep(what, end){
|
|
||||||
function proceed(type) {
|
|
||||||
if (type == ",") cont(what, proceed);
|
|
||||||
else if (type == end) cont();
|
|
||||||
else cont(expect(end));
|
|
||||||
}
|
|
||||||
return function commaSeparated(type) {
|
|
||||||
if (type == end) cont();
|
|
||||||
else pass(what, proceed);
|
|
||||||
};
|
|
||||||
}
|
|
||||||
// Look for statements until a closing brace is found.
|
|
||||||
function block(type){
|
|
||||||
if (type == "}") cont();
|
|
||||||
else pass(statement, block);
|
|
||||||
}
|
|
||||||
// Variable definitions are split into two actions -- 1 looks for
|
|
||||||
// a name or the end of the definition, 2 looks for an '=' sign or
|
|
||||||
// a comma.
|
|
||||||
function vardef1(type, value){
|
|
||||||
if (type == "variable"){register(value); cont(vardef2);}
|
|
||||||
else cont();
|
|
||||||
}
|
|
||||||
function vardef2(type, value){
|
|
||||||
if (value == "=") cont(expression, vardef2);
|
|
||||||
else if (type == ",") cont(vardef1);
|
|
||||||
}
|
|
||||||
// For loops.
|
|
||||||
function forspec1(type){
|
|
||||||
if (type == "var") cont(vardef1, forspec2);
|
|
||||||
else if (type == ";") pass(forspec2);
|
|
||||||
else if (type == "variable") cont(formaybein);
|
|
||||||
else pass(forspec2);
|
|
||||||
}
|
|
||||||
function formaybein(type, value){
|
|
||||||
if (value == "in") cont(expression);
|
|
||||||
else cont(maybeoperator, forspec2);
|
|
||||||
}
|
|
||||||
function forspec2(type, value){
|
|
||||||
if (type == ";") cont(forspec3);
|
|
||||||
else if (value == "in") cont(expression);
|
|
||||||
else cont(expression, expect(";"), forspec3);
|
|
||||||
}
|
|
||||||
function forspec3(type) {
|
|
||||||
if (type == ")") pass();
|
|
||||||
else cont(expression);
|
|
||||||
}
|
|
||||||
// A function definition creates a new context, and the variables
|
|
||||||
// in its argument list have to be added to this context.
|
|
||||||
function functiondef(type, value){
|
|
||||||
if (type == "variable"){register(value); cont(functiondef);}
|
|
||||||
else if (type == "(") cont(pushcontext, commasep(funarg, ")"), statement, popcontext);
|
|
||||||
}
|
|
||||||
function funarg(type, value){
|
|
||||||
if (type == "variable"){register(value); cont();}
|
|
||||||
}
|
|
||||||
|
|
||||||
return parser;
|
|
||||||
}
|
|
||||||
|
|
||||||
return {
|
|
||||||
make: parseJS,
|
|
||||||
electricChars: "{}:",
|
|
||||||
configure: function(obj) {
|
|
||||||
if (obj.json != null) json = obj.json;
|
|
||||||
}
|
|
||||||
};
|
|
||||||
})();
|
|
||||||
@@ -1,162 +0,0 @@
|
|||||||
var SparqlParser = Editor.Parser = (function() {
|
|
||||||
function wordRegexp(words) {
|
|
||||||
return new RegExp("^(?:" + words.join("|") + ")$", "i");
|
|
||||||
}
|
|
||||||
var ops = wordRegexp(["str", "lang", "langmatches", "datatype", "bound", "sameterm", "isiri", "isuri",
|
|
||||||
"isblank", "isliteral", "union", "a"]);
|
|
||||||
var keywords = wordRegexp(["base", "prefix", "select", "distinct", "reduced", "construct", "describe",
|
|
||||||
"ask", "from", "named", "where", "order", "limit", "offset", "filter", "optional",
|
|
||||||
"graph", "by", "asc", "desc"]);
|
|
||||||
var operatorChars = /[*+\-<>=&|]/;
|
|
||||||
|
|
||||||
var tokenizeSparql = (function() {
|
|
||||||
function normal(source, setState) {
|
|
||||||
var ch = source.next();
|
|
||||||
if (ch == "$" || ch == "?") {
|
|
||||||
source.nextWhileMatches(/[\w\d]/);
|
|
||||||
return "sp-var";
|
|
||||||
}
|
|
||||||
else if (ch == "<" && !source.matches(/[\s\u00a0=]/)) {
|
|
||||||
source.nextWhileMatches(/[^\s\u00a0>]/);
|
|
||||||
if (source.equals(">")) source.next();
|
|
||||||
return "sp-uri";
|
|
||||||
}
|
|
||||||
else if (ch == "\"" || ch == "'") {
|
|
||||||
setState(inLiteral(ch));
|
|
||||||
return null;
|
|
||||||
}
|
|
||||||
else if (/[{}\(\),\.;\[\]]/.test(ch)) {
|
|
||||||
return "sp-punc";
|
|
||||||
}
|
|
||||||
else if (ch == "#") {
|
|
||||||
while (!source.endOfLine()) source.next();
|
|
||||||
return "sp-comment";
|
|
||||||
}
|
|
||||||
else if (operatorChars.test(ch)) {
|
|
||||||
source.nextWhileMatches(operatorChars);
|
|
||||||
return "sp-operator";
|
|
||||||
}
|
|
||||||
else if (ch == ":") {
|
|
||||||
source.nextWhileMatches(/[\w\d\._\-]/);
|
|
||||||
return "sp-prefixed";
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
source.nextWhileMatches(/[_\w\d]/);
|
|
||||||
if (source.equals(":")) {
|
|
||||||
source.next();
|
|
||||||
source.nextWhileMatches(/[\w\d_\-]/);
|
|
||||||
return "sp-prefixed";
|
|
||||||
}
|
|
||||||
var word = source.get(), type;
|
|
||||||
if (ops.test(word))
|
|
||||||
type = "sp-operator";
|
|
||||||
else if (keywords.test(word))
|
|
||||||
type = "sp-keyword";
|
|
||||||
else
|
|
||||||
type = "sp-word";
|
|
||||||
return {style: type, content: word};
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
function inLiteral(quote) {
|
|
||||||
return function(source, setState) {
|
|
||||||
var escaped = false;
|
|
||||||
while (!source.endOfLine()) {
|
|
||||||
var ch = source.next();
|
|
||||||
if (ch == quote && !escaped) {
|
|
||||||
setState(normal);
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
escaped = !escaped && ch == "\\";
|
|
||||||
}
|
|
||||||
return "sp-literal";
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
return function(source, startState) {
|
|
||||||
return tokenizer(source, startState || normal);
|
|
||||||
};
|
|
||||||
})();
|
|
||||||
|
|
||||||
function indentSparql(context) {
|
|
||||||
return function(nextChars) {
|
|
||||||
var firstChar = nextChars && nextChars.charAt(0);
|
|
||||||
if (/[\]\}]/.test(firstChar))
|
|
||||||
while (context && context.type == "pattern") context = context.prev;
|
|
||||||
|
|
||||||
var closing = context && firstChar == matching[context.type];
|
|
||||||
if (!context)
|
|
||||||
return 0;
|
|
||||||
else if (context.type == "pattern")
|
|
||||||
return context.col;
|
|
||||||
else if (context.align)
|
|
||||||
return context.col - (closing ? context.width : 0);
|
|
||||||
else
|
|
||||||
return context.indent + (closing ? 0 : indentUnit);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
function parseSparql(source) {
|
|
||||||
var tokens = tokenizeSparql(source);
|
|
||||||
var context = null, indent = 0, col = 0;
|
|
||||||
function pushContext(type, width) {
|
|
||||||
context = {prev: context, indent: indent, col: col, type: type, width: width};
|
|
||||||
}
|
|
||||||
function popContext() {
|
|
||||||
context = context.prev;
|
|
||||||
}
|
|
||||||
|
|
||||||
var iter = {
|
|
||||||
next: function() {
|
|
||||||
var token = tokens.next(), type = token.style, content = token.content, width = token.value.length;
|
|
||||||
|
|
||||||
if (content == "\n") {
|
|
||||||
token.indentation = indentSparql(context);
|
|
||||||
indent = col = 0;
|
|
||||||
if (context && context.align == null) context.align = false;
|
|
||||||
}
|
|
||||||
else if (type == "whitespace" && col == 0) {
|
|
||||||
indent = width;
|
|
||||||
}
|
|
||||||
else if (type != "sp-comment" && context && context.align == null) {
|
|
||||||
context.align = true;
|
|
||||||
}
|
|
||||||
|
|
||||||
if (content != "\n") col += width;
|
|
||||||
|
|
||||||
if (/[\[\{\(]/.test(content)) {
|
|
||||||
pushContext(content, width);
|
|
||||||
}
|
|
||||||
else if (/[\]\}\)]/.test(content)) {
|
|
||||||
while (context && context.type == "pattern")
|
|
||||||
popContext();
|
|
||||||
if (context && content == matching[context.type])
|
|
||||||
popContext();
|
|
||||||
}
|
|
||||||
else if (content == "." && context && context.type == "pattern") {
|
|
||||||
popContext();
|
|
||||||
}
|
|
||||||
else if ((type == "sp-word" || type == "sp-prefixed" || type == "sp-uri" || type == "sp-var" || type == "sp-literal") &&
|
|
||||||
context && /[\{\[]/.test(context.type)) {
|
|
||||||
pushContext("pattern", width);
|
|
||||||
}
|
|
||||||
|
|
||||||
return token;
|
|
||||||
},
|
|
||||||
|
|
||||||
copy: function() {
|
|
||||||
var _context = context, _indent = indent, _col = col, _tokenState = tokens.state;
|
|
||||||
return function(source) {
|
|
||||||
tokens = tokenizeSparql(source, _tokenState);
|
|
||||||
context = _context;
|
|
||||||
indent = _indent;
|
|
||||||
col = _col;
|
|
||||||
return iter;
|
|
||||||
};
|
|
||||||
}
|
|
||||||
};
|
|
||||||
return iter;
|
|
||||||
}
|
|
||||||
|
|
||||||
return {make: parseSparql, electricChars: "}]"};
|
|
||||||
})();
|
|
||||||
@@ -1,291 +0,0 @@
|
|||||||
/* This file defines an XML parser, with a few kludges to make it
|
|
||||||
* useable for HTML. autoSelfClosers defines a set of tag names that
|
|
||||||
* are expected to not have a closing tag, and doNotIndent specifies
|
|
||||||
* the tags inside of which no indentation should happen (see Config
|
|
||||||
* object). These can be disabled by passing the editor an object like
|
|
||||||
* {useHTMLKludges: false} as parserConfig option.
|
|
||||||
*/
|
|
||||||
|
|
||||||
var XMLParser = Editor.Parser = (function() {
|
|
||||||
var Kludges = {
|
|
||||||
autoSelfClosers: {"br": true, "img": true, "hr": true, "link": true, "input": true,
|
|
||||||
"meta": true, "col": true, "frame": true, "base": true, "area": true},
|
|
||||||
doNotIndent: {"pre": true, "!cdata": true}
|
|
||||||
};
|
|
||||||
var NoKludges = {autoSelfClosers: {}, doNotIndent: {"!cdata": true}};
|
|
||||||
var UseKludges = Kludges;
|
|
||||||
var alignCDATA = false;
|
|
||||||
|
|
||||||
// Simple stateful tokenizer for XML documents. Returns a
|
|
||||||
// MochiKit-style iterator, with a state property that contains a
|
|
||||||
// function encapsulating the current state. See tokenize.js.
|
|
||||||
var tokenizeXML = (function() {
|
|
||||||
function inText(source, setState) {
|
|
||||||
var ch = source.next();
|
|
||||||
if (ch == "<") {
|
|
||||||
if (source.equals("!")) {
|
|
||||||
source.next();
|
|
||||||
if (source.equals("[")) {
|
|
||||||
if (source.lookAhead("[CDATA[", true)) {
|
|
||||||
setState(inBlock("xml-cdata", "]]>"));
|
|
||||||
return null;
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
return "xml-text";
|
|
||||||
}
|
|
||||||
}
|
|
||||||
else if (source.lookAhead("--", true)) {
|
|
||||||
setState(inBlock("xml-comment", "-->"));
|
|
||||||
return null;
|
|
||||||
}
|
|
||||||
else if (source.lookAhead("DOCTYPE", true)) {
|
|
||||||
source.nextWhileMatches(/[\w\._\-]/);
|
|
||||||
setState(inBlock("xml-doctype", ">"));
|
|
||||||
return "xml-doctype";
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
return "xml-text";
|
|
||||||
}
|
|
||||||
}
|
|
||||||
else if (source.equals("?")) {
|
|
||||||
source.next();
|
|
||||||
source.nextWhileMatches(/[\w\._\-]/);
|
|
||||||
setState(inBlock("xml-processing", "?>"));
|
|
||||||
return "xml-processing";
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
if (source.equals("/")) source.next();
|
|
||||||
setState(inTag);
|
|
||||||
return "xml-punctuation";
|
|
||||||
}
|
|
||||||
}
|
|
||||||
else if (ch == "&") {
|
|
||||||
while (!source.endOfLine()) {
|
|
||||||
if (source.next() == ";")
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
return "xml-entity";
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
source.nextWhileMatches(/[^&<\n]/);
|
|
||||||
return "xml-text";
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
function inTag(source, setState) {
|
|
||||||
var ch = source.next();
|
|
||||||
if (ch == ">") {
|
|
||||||
setState(inText);
|
|
||||||
return "xml-punctuation";
|
|
||||||
}
|
|
||||||
else if (/[?\/]/.test(ch) && source.equals(">")) {
|
|
||||||
source.next();
|
|
||||||
setState(inText);
|
|
||||||
return "xml-punctuation";
|
|
||||||
}
|
|
||||||
else if (ch == "=") {
|
|
||||||
return "xml-punctuation";
|
|
||||||
}
|
|
||||||
else if (/[\'\"]/.test(ch)) {
|
|
||||||
setState(inAttribute(ch));
|
|
||||||
return null;
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
source.nextWhileMatches(/[^\s\u00a0=<>\"\'\/?]/);
|
|
||||||
return "xml-name";
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
function inAttribute(quote) {
|
|
||||||
return function(source, setState) {
|
|
||||||
while (!source.endOfLine()) {
|
|
||||||
if (source.next() == quote) {
|
|
||||||
setState(inTag);
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
return "xml-attribute";
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
function inBlock(style, terminator) {
|
|
||||||
return function(source, setState) {
|
|
||||||
while (!source.endOfLine()) {
|
|
||||||
if (source.lookAhead(terminator, true)) {
|
|
||||||
setState(inText);
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
source.next();
|
|
||||||
}
|
|
||||||
return style;
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
return function(source, startState) {
|
|
||||||
return tokenizer(source, startState || inText);
|
|
||||||
};
|
|
||||||
})();
|
|
||||||
|
|
||||||
// The parser. The structure of this function largely follows that of
|
|
||||||
// parseJavaScript in parsejavascript.js (there is actually a bit more
|
|
||||||
// shared code than I'd like), but it is quite a bit simpler.
|
|
||||||
function parseXML(source) {
|
|
||||||
var tokens = tokenizeXML(source), token;
|
|
||||||
var cc = [base];
|
|
||||||
var tokenNr = 0, indented = 0;
|
|
||||||
var currentTag = null, context = null;
|
|
||||||
var consume;
|
|
||||||
|
|
||||||
function push(fs) {
|
|
||||||
for (var i = fs.length - 1; i >= 0; i--)
|
|
||||||
cc.push(fs[i]);
|
|
||||||
}
|
|
||||||
function cont() {
|
|
||||||
push(arguments);
|
|
||||||
consume = true;
|
|
||||||
}
|
|
||||||
function pass() {
|
|
||||||
push(arguments);
|
|
||||||
consume = false;
|
|
||||||
}
|
|
||||||
|
|
||||||
function markErr() {
|
|
||||||
token.style += " xml-error";
|
|
||||||
}
|
|
||||||
function expect(text) {
|
|
||||||
return function(style, content) {
|
|
||||||
if (content == text) cont();
|
|
||||||
else {markErr(); cont(arguments.callee);}
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
function pushContext(tagname, startOfLine) {
|
|
||||||
var noIndent = UseKludges.doNotIndent.hasOwnProperty(tagname) || (context && context.noIndent);
|
|
||||||
context = {prev: context, name: tagname, indent: indented, startOfLine: startOfLine, noIndent: noIndent};
|
|
||||||
}
|
|
||||||
function popContext() {
|
|
||||||
context = context.prev;
|
|
||||||
}
|
|
||||||
function computeIndentation(baseContext) {
|
|
||||||
return function(nextChars, current) {
|
|
||||||
var context = baseContext;
|
|
||||||
if (context && context.noIndent)
|
|
||||||
return current;
|
|
||||||
if (alignCDATA && /<!\[CDATA\[/.test(nextChars))
|
|
||||||
return 0;
|
|
||||||
if (context && /^<\//.test(nextChars))
|
|
||||||
context = context.prev;
|
|
||||||
while (context && !context.startOfLine)
|
|
||||||
context = context.prev;
|
|
||||||
if (context)
|
|
||||||
return context.indent + indentUnit;
|
|
||||||
else
|
|
||||||
return 0;
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
function base() {
|
|
||||||
return pass(element, base);
|
|
||||||
}
|
|
||||||
var harmlessTokens = {"xml-text": true, "xml-entity": true, "xml-comment": true, "xml-processing": true, "xml-doctype": true};
|
|
||||||
function element(style, content) {
|
|
||||||
if (content == "<") cont(tagname, attributes, endtag(tokenNr == 1));
|
|
||||||
else if (content == "</") cont(closetagname, expect(">"));
|
|
||||||
else if (style == "xml-cdata") {
|
|
||||||
if (!context || context.name != "!cdata") pushContext("!cdata");
|
|
||||||
if (/\]\]>$/.test(content)) popContext();
|
|
||||||
cont();
|
|
||||||
}
|
|
||||||
else if (harmlessTokens.hasOwnProperty(style)) cont();
|
|
||||||
else {markErr(); cont();}
|
|
||||||
}
|
|
||||||
function tagname(style, content) {
|
|
||||||
if (style == "xml-name") {
|
|
||||||
currentTag = content.toLowerCase();
|
|
||||||
token.style = "xml-tagname";
|
|
||||||
cont();
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
currentTag = null;
|
|
||||||
pass();
|
|
||||||
}
|
|
||||||
}
|
|
||||||
function closetagname(style, content) {
|
|
||||||
if (style == "xml-name") {
|
|
||||||
token.style = "xml-tagname";
|
|
||||||
if (context && content.toLowerCase() == context.name) popContext();
|
|
||||||
else markErr();
|
|
||||||
}
|
|
||||||
cont();
|
|
||||||
}
|
|
||||||
function endtag(startOfLine) {
|
|
||||||
return function(style, content) {
|
|
||||||
if (content == "/>" || (content == ">" && UseKludges.autoSelfClosers.hasOwnProperty(currentTag))) cont();
|
|
||||||
else if (content == ">") {pushContext(currentTag, startOfLine); cont();}
|
|
||||||
else {markErr(); cont(arguments.callee);}
|
|
||||||
};
|
|
||||||
}
|
|
||||||
function attributes(style) {
|
|
||||||
if (style == "xml-name") {token.style = "xml-attname"; cont(attribute, attributes);}
|
|
||||||
else pass();
|
|
||||||
}
|
|
||||||
function attribute(style, content) {
|
|
||||||
if (content == "=") cont(value);
|
|
||||||
else if (content == ">" || content == "/>") pass(endtag);
|
|
||||||
else pass();
|
|
||||||
}
|
|
||||||
function value(style) {
|
|
||||||
if (style == "xml-attribute") cont(value);
|
|
||||||
else pass();
|
|
||||||
}
|
|
||||||
|
|
||||||
return {
|
|
||||||
indentation: function() {return indented;},
|
|
||||||
|
|
||||||
next: function(){
|
|
||||||
token = tokens.next();
|
|
||||||
if (token.style == "whitespace" && tokenNr == 0)
|
|
||||||
indented = token.value.length;
|
|
||||||
else
|
|
||||||
tokenNr++;
|
|
||||||
if (token.content == "\n") {
|
|
||||||
indented = tokenNr = 0;
|
|
||||||
token.indentation = computeIndentation(context);
|
|
||||||
}
|
|
||||||
|
|
||||||
if (token.style == "whitespace" || token.type == "xml-comment")
|
|
||||||
return token;
|
|
||||||
|
|
||||||
while(true){
|
|
||||||
consume = false;
|
|
||||||
cc.pop()(token.style, token.content);
|
|
||||||
if (consume) return token;
|
|
||||||
}
|
|
||||||
},
|
|
||||||
|
|
||||||
copy: function(){
|
|
||||||
var _cc = cc.concat([]), _tokenState = tokens.state, _context = context;
|
|
||||||
var parser = this;
|
|
||||||
|
|
||||||
return function(input){
|
|
||||||
cc = _cc.concat([]);
|
|
||||||
tokenNr = indented = 0;
|
|
||||||
context = _context;
|
|
||||||
tokens = tokenizeXML(input, _tokenState);
|
|
||||||
return parser;
|
|
||||||
};
|
|
||||||
}
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
return {
|
|
||||||
make: parseXML,
|
|
||||||
electricChars: "/",
|
|
||||||
configure: function(config) {
|
|
||||||
if (config.useHTMLKludges != null)
|
|
||||||
UseKludges = config.useHTMLKludges ? Kludges : NoKludges;
|
|
||||||
if (config.alignCDATA)
|
|
||||||
alignCDATA = config.alignCDATA;
|
|
||||||
}
|
|
||||||
};
|
|
||||||
})();
|
|
||||||
@@ -1,699 +0,0 @@
|
|||||||
/* Functionality for finding, storing, and restoring selections
|
|
||||||
*
|
|
||||||
* This does not provide a generic API, just the minimal functionality
|
|
||||||
* required by the CodeMirror system.
|
|
||||||
*/
|
|
||||||
|
|
||||||
// Namespace object.
|
|
||||||
var select = {};
|
|
||||||
|
|
||||||
(function() {
|
|
||||||
select.ie_selection = document.selection && document.selection.createRangeCollection;
|
|
||||||
|
|
||||||
// Find the 'top-level' (defined as 'a direct child of the node
|
|
||||||
// passed as the top argument') node that the given node is
|
|
||||||
// contained in. Return null if the given node is not inside the top
|
|
||||||
// node.
|
|
||||||
function topLevelNodeAt(node, top) {
|
|
||||||
while (node && node.parentNode != top)
|
|
||||||
node = node.parentNode;
|
|
||||||
return node;
|
|
||||||
}
|
|
||||||
|
|
||||||
// Find the top-level node that contains the node before this one.
|
|
||||||
function topLevelNodeBefore(node, top) {
|
|
||||||
while (!node.previousSibling && node.parentNode != top)
|
|
||||||
node = node.parentNode;
|
|
||||||
return topLevelNodeAt(node.previousSibling, top);
|
|
||||||
}
|
|
||||||
|
|
||||||
var fourSpaces = "\u00a0\u00a0\u00a0\u00a0";
|
|
||||||
|
|
||||||
select.scrollToNode = function(node, cursor) {
|
|
||||||
if (!node) return;
|
|
||||||
var element = node, body = document.body,
|
|
||||||
html = document.documentElement,
|
|
||||||
atEnd = !element.nextSibling || !element.nextSibling.nextSibling
|
|
||||||
|| !element.nextSibling.nextSibling.nextSibling;
|
|
||||||
// In Opera (and recent Webkit versions), BR elements *always*
|
|
||||||
// have a offsetTop property of zero.
|
|
||||||
var compensateHack = 0;
|
|
||||||
while (element && !element.offsetTop) {
|
|
||||||
compensateHack++;
|
|
||||||
element = element.previousSibling;
|
|
||||||
}
|
|
||||||
// atEnd is another kludge for these browsers -- if the cursor is
|
|
||||||
// at the end of the document, and the node doesn't have an
|
|
||||||
// offset, just scroll to the end.
|
|
||||||
if (compensateHack == 0) atEnd = false;
|
|
||||||
|
|
||||||
// WebKit has a bad habit of (sometimes) happily returning bogus
|
|
||||||
// offsets when the document has just been changed. This seems to
|
|
||||||
// always be 5/5, so we don't use those.
|
|
||||||
if (webkit && element && element.offsetTop == 5 && element.offsetLeft == 5)
|
|
||||||
return;
|
|
||||||
|
|
||||||
var y = compensateHack * (element ? element.offsetHeight : 0), x = 0,
|
|
||||||
width = (node ? node.offsetWidth : 0), pos = element;
|
|
||||||
while (pos && pos.offsetParent) {
|
|
||||||
y += pos.offsetTop;
|
|
||||||
// Don't count X offset for <br> nodes
|
|
||||||
if (!isBR(pos))
|
|
||||||
x += pos.offsetLeft;
|
|
||||||
pos = pos.offsetParent;
|
|
||||||
}
|
|
||||||
|
|
||||||
var scroll_x = body.scrollLeft || html.scrollLeft || 0,
|
|
||||||
scroll_y = body.scrollTop || html.scrollTop || 0,
|
|
||||||
scroll = false, screen_width = window.innerWidth || html.clientWidth || 0;
|
|
||||||
|
|
||||||
if (cursor || width < screen_width) {
|
|
||||||
if (cursor) {
|
|
||||||
var off = select.offsetInNode(node), size = nodeText(node).length;
|
|
||||||
if (size) x += width * (off / size);
|
|
||||||
}
|
|
||||||
var screen_x = x - scroll_x;
|
|
||||||
if (screen_x < 0 || screen_x > screen_width) {
|
|
||||||
scroll_x = x;
|
|
||||||
scroll = true;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
var screen_y = y - scroll_y;
|
|
||||||
if (screen_y < 0 || atEnd || screen_y > (window.innerHeight || html.clientHeight || 0) - 50) {
|
|
||||||
scroll_y = atEnd ? 1e6 : y;
|
|
||||||
scroll = true;
|
|
||||||
}
|
|
||||||
if (scroll) window.scrollTo(scroll_x, scroll_y);
|
|
||||||
};
|
|
||||||
|
|
||||||
select.scrollToCursor = function(container) {
|
|
||||||
select.scrollToNode(select.selectionTopNode(container, true) || container.firstChild, true);
|
|
||||||
};
|
|
||||||
|
|
||||||
// Used to prevent restoring a selection when we do not need to.
|
|
||||||
var currentSelection = null;
|
|
||||||
|
|
||||||
select.snapshotChanged = function() {
|
|
||||||
if (currentSelection) currentSelection.changed = true;
|
|
||||||
};
|
|
||||||
|
|
||||||
// Find the 'leaf' node (BR or text) after the given one.
|
|
||||||
function baseNodeAfter(node) {
|
|
||||||
var next = node.nextSibling;
|
|
||||||
if (next) {
|
|
||||||
while (next.firstChild) next = next.firstChild;
|
|
||||||
if (next.nodeType == 3 || isBR(next)) return next;
|
|
||||||
else return baseNodeAfter(next);
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
var parent = node.parentNode;
|
|
||||||
while (parent && !parent.nextSibling) parent = parent.parentNode;
|
|
||||||
return parent && baseNodeAfter(parent);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// This is called by the code in editor.js whenever it is replacing
|
|
||||||
// a text node. The function sees whether the given oldNode is part
|
|
||||||
// of the current selection, and updates this selection if it is.
|
|
||||||
// Because nodes are often only partially replaced, the length of
|
|
||||||
// the part that gets replaced has to be taken into account -- the
|
|
||||||
// selection might stay in the oldNode if the newNode is smaller
|
|
||||||
// than the selection's offset. The offset argument is needed in
|
|
||||||
// case the selection does move to the new object, and the given
|
|
||||||
// length is not the whole length of the new node (part of it might
|
|
||||||
// have been used to replace another node).
|
|
||||||
select.snapshotReplaceNode = function(from, to, length, offset) {
|
|
||||||
if (!currentSelection) return;
|
|
||||||
|
|
||||||
function replace(point) {
|
|
||||||
if (from == point.node) {
|
|
||||||
currentSelection.changed = true;
|
|
||||||
if (length && point.offset > length) {
|
|
||||||
point.offset -= length;
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
point.node = to;
|
|
||||||
point.offset += (offset || 0);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
else if (select.ie_selection && point.offset == 0 && point.node == baseNodeAfter(from)) {
|
|
||||||
currentSelection.changed = true;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
replace(currentSelection.start);
|
|
||||||
replace(currentSelection.end);
|
|
||||||
};
|
|
||||||
|
|
||||||
select.snapshotMove = function(from, to, distance, relative, ifAtStart) {
|
|
||||||
if (!currentSelection) return;
|
|
||||||
|
|
||||||
function move(point) {
|
|
||||||
if (from == point.node && (!ifAtStart || point.offset == 0)) {
|
|
||||||
currentSelection.changed = true;
|
|
||||||
point.node = to;
|
|
||||||
if (relative) point.offset = Math.max(0, point.offset + distance);
|
|
||||||
else point.offset = distance;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
move(currentSelection.start);
|
|
||||||
move(currentSelection.end);
|
|
||||||
};
|
|
||||||
|
|
||||||
// Most functions are defined in two ways, one for the IE selection
|
|
||||||
// model, one for the W3C one.
|
|
||||||
if (select.ie_selection) {
|
|
||||||
function selRange() {
|
|
||||||
var sel = document.selection;
|
|
||||||
if (!sel) return null;
|
|
||||||
if (sel.createRange) return sel.createRange();
|
|
||||||
else return sel.createTextRange();
|
|
||||||
}
|
|
||||||
|
|
||||||
function selectionNode(start) {
|
|
||||||
var range = selRange();
|
|
||||||
range.collapse(start);
|
|
||||||
|
|
||||||
function nodeAfter(node) {
|
|
||||||
var found = null;
|
|
||||||
while (!found && node) {
|
|
||||||
found = node.nextSibling;
|
|
||||||
node = node.parentNode;
|
|
||||||
}
|
|
||||||
return nodeAtStartOf(found);
|
|
||||||
}
|
|
||||||
|
|
||||||
function nodeAtStartOf(node) {
|
|
||||||
while (node && node.firstChild) node = node.firstChild;
|
|
||||||
return {node: node, offset: 0};
|
|
||||||
}
|
|
||||||
|
|
||||||
var containing = range.parentElement();
|
|
||||||
if (!isAncestor(document.body, containing)) return null;
|
|
||||||
if (!containing.firstChild) return nodeAtStartOf(containing);
|
|
||||||
|
|
||||||
var working = range.duplicate();
|
|
||||||
working.moveToElementText(containing);
|
|
||||||
working.collapse(true);
|
|
||||||
for (var cur = containing.firstChild; cur; cur = cur.nextSibling) {
|
|
||||||
if (cur.nodeType == 3) {
|
|
||||||
var size = cur.nodeValue.length;
|
|
||||||
working.move("character", size);
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
working.moveToElementText(cur);
|
|
||||||
working.collapse(false);
|
|
||||||
}
|
|
||||||
|
|
||||||
var dir = range.compareEndPoints("StartToStart", working);
|
|
||||||
if (dir == 0) return nodeAfter(cur);
|
|
||||||
if (dir == 1) continue;
|
|
||||||
if (cur.nodeType != 3) return nodeAtStartOf(cur);
|
|
||||||
|
|
||||||
working.setEndPoint("StartToEnd", range);
|
|
||||||
return {node: cur, offset: size - working.text.length};
|
|
||||||
}
|
|
||||||
return nodeAfter(containing);
|
|
||||||
}
|
|
||||||
|
|
||||||
select.markSelection = function() {
|
|
||||||
currentSelection = null;
|
|
||||||
var sel = document.selection;
|
|
||||||
if (!sel) return;
|
|
||||||
var start = selectionNode(true),
|
|
||||||
end = selectionNode(false);
|
|
||||||
if (!start || !end) return;
|
|
||||||
currentSelection = {start: start, end: end, changed: false};
|
|
||||||
};
|
|
||||||
|
|
||||||
select.selectMarked = function() {
|
|
||||||
if (!currentSelection || !currentSelection.changed) return;
|
|
||||||
|
|
||||||
function makeRange(point) {
|
|
||||||
var range = document.body.createTextRange(),
|
|
||||||
node = point.node;
|
|
||||||
if (!node) {
|
|
||||||
range.moveToElementText(document.body);
|
|
||||||
range.collapse(false);
|
|
||||||
}
|
|
||||||
else if (node.nodeType == 3) {
|
|
||||||
range.moveToElementText(node.parentNode);
|
|
||||||
var offset = point.offset;
|
|
||||||
while (node.previousSibling) {
|
|
||||||
node = node.previousSibling;
|
|
||||||
offset += (node.innerText || "").length;
|
|
||||||
}
|
|
||||||
range.move("character", offset);
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
range.moveToElementText(node);
|
|
||||||
range.collapse(true);
|
|
||||||
}
|
|
||||||
return range;
|
|
||||||
}
|
|
||||||
|
|
||||||
var start = makeRange(currentSelection.start), end = makeRange(currentSelection.end);
|
|
||||||
start.setEndPoint("StartToEnd", end);
|
|
||||||
start.select();
|
|
||||||
};
|
|
||||||
|
|
||||||
select.offsetInNode = function(node) {
|
|
||||||
var range = selRange();
|
|
||||||
if (!range) return 0;
|
|
||||||
var range2 = range.duplicate();
|
|
||||||
try {range2.moveToElementText(node);} catch(e){return 0;}
|
|
||||||
range.setEndPoint("StartToStart", range2);
|
|
||||||
return range.text.length;
|
|
||||||
};
|
|
||||||
|
|
||||||
// Get the top-level node that one end of the cursor is inside or
|
|
||||||
// after. Note that this returns false for 'no cursor', and null
|
|
||||||
// for 'start of document'.
|
|
||||||
select.selectionTopNode = function(container, start) {
|
|
||||||
var range = selRange();
|
|
||||||
if (!range) return false;
|
|
||||||
var range2 = range.duplicate();
|
|
||||||
range.collapse(start);
|
|
||||||
var around = range.parentElement();
|
|
||||||
if (around && isAncestor(container, around)) {
|
|
||||||
// Only use this node if the selection is not at its start.
|
|
||||||
range2.moveToElementText(around);
|
|
||||||
if (range.compareEndPoints("StartToStart", range2) == 1)
|
|
||||||
return topLevelNodeAt(around, container);
|
|
||||||
}
|
|
||||||
|
|
||||||
// Move the start of a range to the start of a node,
|
|
||||||
// compensating for the fact that you can't call
|
|
||||||
// moveToElementText with text nodes.
|
|
||||||
function moveToNodeStart(range, node) {
|
|
||||||
if (node.nodeType == 3) {
|
|
||||||
var count = 0, cur = node.previousSibling;
|
|
||||||
while (cur && cur.nodeType == 3) {
|
|
||||||
count += cur.nodeValue.length;
|
|
||||||
cur = cur.previousSibling;
|
|
||||||
}
|
|
||||||
if (cur) {
|
|
||||||
try{range.moveToElementText(cur);}
|
|
||||||
catch(e){return false;}
|
|
||||||
range.collapse(false);
|
|
||||||
}
|
|
||||||
else range.moveToElementText(node.parentNode);
|
|
||||||
if (count) range.move("character", count);
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
try{range.moveToElementText(node);}
|
|
||||||
catch(e){return false;}
|
|
||||||
}
|
|
||||||
return true;
|
|
||||||
}
|
|
||||||
|
|
||||||
// Do a binary search through the container object, comparing
|
|
||||||
// the start of each node to the selection
|
|
||||||
var start = 0, end = container.childNodes.length - 1;
|
|
||||||
while (start < end) {
|
|
||||||
var middle = Math.ceil((end + start) / 2), node = container.childNodes[middle];
|
|
||||||
if (!node) return false; // Don't ask. IE6 manages this sometimes.
|
|
||||||
if (!moveToNodeStart(range2, node)) return false;
|
|
||||||
if (range.compareEndPoints("StartToStart", range2) == 1)
|
|
||||||
start = middle;
|
|
||||||
else
|
|
||||||
end = middle - 1;
|
|
||||||
}
|
|
||||||
|
|
||||||
if (start == 0) {
|
|
||||||
var test1 = selRange(), test2 = test1.duplicate();
|
|
||||||
try {
|
|
||||||
test2.moveToElementText(container);
|
|
||||||
} catch(exception) {
|
|
||||||
return null;
|
|
||||||
}
|
|
||||||
if (test1.compareEndPoints("StartToStart", test2) == 0)
|
|
||||||
return null;
|
|
||||||
}
|
|
||||||
return container.childNodes[start] || null;
|
|
||||||
};
|
|
||||||
|
|
||||||
// Place the cursor after this.start. This is only useful when
|
|
||||||
// manually moving the cursor instead of restoring it to its old
|
|
||||||
// position.
|
|
||||||
select.focusAfterNode = function(node, container) {
|
|
||||||
var range = document.body.createTextRange();
|
|
||||||
range.moveToElementText(node || container);
|
|
||||||
range.collapse(!node);
|
|
||||||
range.select();
|
|
||||||
};
|
|
||||||
|
|
||||||
select.somethingSelected = function() {
|
|
||||||
var range = selRange();
|
|
||||||
return range && (range.text != "");
|
|
||||||
};
|
|
||||||
|
|
||||||
function insertAtCursor(html) {
|
|
||||||
var range = selRange();
|
|
||||||
if (range) {
|
|
||||||
range.pasteHTML(html);
|
|
||||||
range.collapse(false);
|
|
||||||
range.select();
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// Used to normalize the effect of the enter key, since browsers
|
|
||||||
// do widely different things when pressing enter in designMode.
|
|
||||||
select.insertNewlineAtCursor = function() {
|
|
||||||
insertAtCursor("<br>");
|
|
||||||
};
|
|
||||||
|
|
||||||
select.insertTabAtCursor = function() {
|
|
||||||
insertAtCursor(fourSpaces);
|
|
||||||
};
|
|
||||||
|
|
||||||
// Get the BR node at the start of the line on which the cursor
|
|
||||||
// currently is, and the offset into the line. Returns null as
|
|
||||||
// node if cursor is on first line.
|
|
||||||
select.cursorPos = function(container, start) {
|
|
||||||
var range = selRange();
|
|
||||||
if (!range) return null;
|
|
||||||
|
|
||||||
var topNode = select.selectionTopNode(container, start);
|
|
||||||
while (topNode && !isBR(topNode))
|
|
||||||
topNode = topNode.previousSibling;
|
|
||||||
|
|
||||||
var range2 = range.duplicate();
|
|
||||||
range.collapse(start);
|
|
||||||
if (topNode) {
|
|
||||||
range2.moveToElementText(topNode);
|
|
||||||
range2.collapse(false);
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
// When nothing is selected, we can get all kinds of funky errors here.
|
|
||||||
try { range2.moveToElementText(container); }
|
|
||||||
catch (e) { return null; }
|
|
||||||
range2.collapse(true);
|
|
||||||
}
|
|
||||||
range.setEndPoint("StartToStart", range2);
|
|
||||||
|
|
||||||
return {node: topNode, offset: range.text.length};
|
|
||||||
};
|
|
||||||
|
|
||||||
select.setCursorPos = function(container, from, to) {
|
|
||||||
function rangeAt(pos) {
|
|
||||||
var range = document.body.createTextRange();
|
|
||||||
if (!pos.node) {
|
|
||||||
range.moveToElementText(container);
|
|
||||||
range.collapse(true);
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
range.moveToElementText(pos.node);
|
|
||||||
range.collapse(false);
|
|
||||||
}
|
|
||||||
range.move("character", pos.offset);
|
|
||||||
return range;
|
|
||||||
}
|
|
||||||
|
|
||||||
var range = rangeAt(from);
|
|
||||||
if (to && to != from)
|
|
||||||
range.setEndPoint("EndToEnd", rangeAt(to));
|
|
||||||
range.select();
|
|
||||||
}
|
|
||||||
|
|
||||||
// Some hacks for storing and re-storing the selection when the editor loses and regains focus.
|
|
||||||
select.getBookmark = function (container) {
|
|
||||||
var from = select.cursorPos(container, true), to = select.cursorPos(container, false);
|
|
||||||
if (from && to) return {from: from, to: to};
|
|
||||||
};
|
|
||||||
|
|
||||||
// Restore a stored selection.
|
|
||||||
select.setBookmark = function(container, mark) {
|
|
||||||
if (!mark) return;
|
|
||||||
select.setCursorPos(container, mark.from, mark.to);
|
|
||||||
};
|
|
||||||
}
|
|
||||||
// W3C model
|
|
||||||
else {
|
|
||||||
// Find the node right at the cursor, not one of its
|
|
||||||
// ancestors with a suitable offset. This goes down the DOM tree
|
|
||||||
// until a 'leaf' is reached (or is it *up* the DOM tree?).
|
|
||||||
function innerNode(node, offset) {
|
|
||||||
while (node.nodeType != 3 && !isBR(node)) {
|
|
||||||
var newNode = node.childNodes[offset] || node.nextSibling;
|
|
||||||
offset = 0;
|
|
||||||
while (!newNode && node.parentNode) {
|
|
||||||
node = node.parentNode;
|
|
||||||
newNode = node.nextSibling;
|
|
||||||
}
|
|
||||||
node = newNode;
|
|
||||||
if (!newNode) break;
|
|
||||||
}
|
|
||||||
return {node: node, offset: offset};
|
|
||||||
}
|
|
||||||
|
|
||||||
// Store start and end nodes, and offsets within these, and refer
|
|
||||||
// back to the selection object from those nodes, so that this
|
|
||||||
// object can be updated when the nodes are replaced before the
|
|
||||||
// selection is restored.
|
|
||||||
select.markSelection = function () {
|
|
||||||
var selection = window.getSelection();
|
|
||||||
if (!selection || selection.rangeCount == 0)
|
|
||||||
return (currentSelection = null);
|
|
||||||
var range = selection.getRangeAt(0);
|
|
||||||
|
|
||||||
currentSelection = {
|
|
||||||
start: innerNode(range.startContainer, range.startOffset),
|
|
||||||
end: innerNode(range.endContainer, range.endOffset),
|
|
||||||
changed: false
|
|
||||||
};
|
|
||||||
};
|
|
||||||
|
|
||||||
select.selectMarked = function () {
|
|
||||||
var cs = currentSelection;
|
|
||||||
// on webkit-based browsers, it is apparently possible that the
|
|
||||||
// selection gets reset even when a node that is not one of the
|
|
||||||
// endpoints get messed with. the most common situation where
|
|
||||||
// this occurs is when a selection is deleted or overwitten. we
|
|
||||||
// check for that here.
|
|
||||||
function focusIssue() {
|
|
||||||
if (cs.start.node == cs.end.node && cs.start.offset == cs.end.offset) {
|
|
||||||
var selection = window.getSelection();
|
|
||||||
if (!selection || selection.rangeCount == 0) return true;
|
|
||||||
var range = selection.getRangeAt(0), point = innerNode(range.startContainer, range.startOffset);
|
|
||||||
return cs.start.node != point.node || cs.start.offset != point.offset;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
if (!cs || !(cs.changed || (webkit && focusIssue()))) return;
|
|
||||||
var range = document.createRange();
|
|
||||||
|
|
||||||
function setPoint(point, which) {
|
|
||||||
if (point.node) {
|
|
||||||
// Some magic to generalize the setting of the start and end
|
|
||||||
// of a range.
|
|
||||||
if (point.offset == 0)
|
|
||||||
range["set" + which + "Before"](point.node);
|
|
||||||
else
|
|
||||||
range["set" + which](point.node, point.offset);
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
range.setStartAfter(document.body.lastChild || document.body);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
setPoint(cs.end, "End");
|
|
||||||
setPoint(cs.start, "Start");
|
|
||||||
selectRange(range);
|
|
||||||
};
|
|
||||||
|
|
||||||
// Helper for selecting a range object.
|
|
||||||
function selectRange(range) {
|
|
||||||
var selection = window.getSelection();
|
|
||||||
if (!selection) return;
|
|
||||||
selection.removeAllRanges();
|
|
||||||
selection.addRange(range);
|
|
||||||
}
|
|
||||||
function selectionRange() {
|
|
||||||
var selection = window.getSelection();
|
|
||||||
if (!selection || selection.rangeCount == 0)
|
|
||||||
return false;
|
|
||||||
else
|
|
||||||
return selection.getRangeAt(0);
|
|
||||||
}
|
|
||||||
|
|
||||||
// Finding the top-level node at the cursor in the W3C is, as you
|
|
||||||
// can see, quite an involved process.
|
|
||||||
select.selectionTopNode = function(container, start) {
|
|
||||||
var range = selectionRange();
|
|
||||||
if (!range) return false;
|
|
||||||
|
|
||||||
var node = start ? range.startContainer : range.endContainer;
|
|
||||||
var offset = start ? range.startOffset : range.endOffset;
|
|
||||||
// Work around (yet another) bug in Opera's selection model.
|
|
||||||
if (window.opera && !start && range.endContainer == container && range.endOffset == range.startOffset + 1 &&
|
|
||||||
container.childNodes[range.startOffset] && isBR(container.childNodes[range.startOffset]))
|
|
||||||
offset--;
|
|
||||||
|
|
||||||
// For text nodes, we look at the node itself if the cursor is
|
|
||||||
// inside, or at the node before it if the cursor is at the
|
|
||||||
// start.
|
|
||||||
if (node.nodeType == 3){
|
|
||||||
if (offset > 0)
|
|
||||||
return topLevelNodeAt(node, container);
|
|
||||||
else
|
|
||||||
return topLevelNodeBefore(node, container);
|
|
||||||
}
|
|
||||||
// Occasionally, browsers will return the HTML node as
|
|
||||||
// selection. If the offset is 0, we take the start of the frame
|
|
||||||
// ('after null'), otherwise, we take the last node.
|
|
||||||
else if (node.nodeName.toUpperCase() == "HTML") {
|
|
||||||
return (offset == 1 ? null : container.lastChild);
|
|
||||||
}
|
|
||||||
// If the given node is our 'container', we just look up the
|
|
||||||
// correct node by using the offset.
|
|
||||||
else if (node == container) {
|
|
||||||
return (offset == 0) ? null : node.childNodes[offset - 1];
|
|
||||||
}
|
|
||||||
// In any other case, we have a regular node. If the cursor is
|
|
||||||
// at the end of the node, we use the node itself, if it is at
|
|
||||||
// the start, we use the node before it, and in any other
|
|
||||||
// case, we look up the child before the cursor and use that.
|
|
||||||
else {
|
|
||||||
if (offset == node.childNodes.length)
|
|
||||||
return topLevelNodeAt(node, container);
|
|
||||||
else if (offset == 0)
|
|
||||||
return topLevelNodeBefore(node, container);
|
|
||||||
else
|
|
||||||
return topLevelNodeAt(node.childNodes[offset - 1], container);
|
|
||||||
}
|
|
||||||
};
|
|
||||||
|
|
||||||
select.focusAfterNode = function(node, container) {
|
|
||||||
var range = document.createRange();
|
|
||||||
range.setStartBefore(container.firstChild || container);
|
|
||||||
// In Opera, setting the end of a range at the end of a line
|
|
||||||
// (before a BR) will cause the cursor to appear on the next
|
|
||||||
// line, so we set the end inside of the start node when
|
|
||||||
// possible.
|
|
||||||
if (node && !node.firstChild)
|
|
||||||
range.setEndAfter(node);
|
|
||||||
else if (node)
|
|
||||||
range.setEnd(node, node.childNodes.length);
|
|
||||||
else
|
|
||||||
range.setEndBefore(container.firstChild || container);
|
|
||||||
range.collapse(false);
|
|
||||||
selectRange(range);
|
|
||||||
};
|
|
||||||
|
|
||||||
select.somethingSelected = function() {
|
|
||||||
var range = selectionRange();
|
|
||||||
return range && !range.collapsed;
|
|
||||||
};
|
|
||||||
|
|
||||||
select.offsetInNode = function(node) {
|
|
||||||
var range = selectionRange();
|
|
||||||
if (!range) return 0;
|
|
||||||
range = range.cloneRange();
|
|
||||||
range.setStartBefore(node);
|
|
||||||
return range.toString().length;
|
|
||||||
};
|
|
||||||
|
|
||||||
select.insertNodeAtCursor = function(node) {
|
|
||||||
var range = selectionRange();
|
|
||||||
if (!range) return;
|
|
||||||
|
|
||||||
range.deleteContents();
|
|
||||||
range.insertNode(node);
|
|
||||||
webkitLastLineHack(document.body);
|
|
||||||
|
|
||||||
// work around weirdness where Opera will magically insert a new
|
|
||||||
// BR node when a BR node inside a span is moved around. makes
|
|
||||||
// sure the BR ends up outside of spans.
|
|
||||||
if (window.opera && isBR(node) && isSpan(node.parentNode)) {
|
|
||||||
var next = node.nextSibling, p = node.parentNode, outer = p.parentNode;
|
|
||||||
outer.insertBefore(node, p.nextSibling);
|
|
||||||
var textAfter = "";
|
|
||||||
for (; next && next.nodeType == 3; next = next.nextSibling) {
|
|
||||||
textAfter += next.nodeValue;
|
|
||||||
removeElement(next);
|
|
||||||
}
|
|
||||||
outer.insertBefore(makePartSpan(textAfter, document), node.nextSibling);
|
|
||||||
}
|
|
||||||
range = document.createRange();
|
|
||||||
range.selectNode(node);
|
|
||||||
range.collapse(false);
|
|
||||||
selectRange(range);
|
|
||||||
}
|
|
||||||
|
|
||||||
select.insertNewlineAtCursor = function() {
|
|
||||||
select.insertNodeAtCursor(document.createElement("BR"));
|
|
||||||
};
|
|
||||||
|
|
||||||
select.insertTabAtCursor = function() {
|
|
||||||
select.insertNodeAtCursor(document.createTextNode(fourSpaces));
|
|
||||||
};
|
|
||||||
|
|
||||||
select.cursorPos = function(container, start) {
|
|
||||||
var range = selectionRange();
|
|
||||||
if (!range) return;
|
|
||||||
|
|
||||||
var topNode = select.selectionTopNode(container, start);
|
|
||||||
while (topNode && !isBR(topNode))
|
|
||||||
topNode = topNode.previousSibling;
|
|
||||||
|
|
||||||
range = range.cloneRange();
|
|
||||||
range.collapse(start);
|
|
||||||
if (topNode)
|
|
||||||
range.setStartAfter(topNode);
|
|
||||||
else
|
|
||||||
range.setStartBefore(container);
|
|
||||||
|
|
||||||
var text = range.toString();
|
|
||||||
return {node: topNode, offset: text.length};
|
|
||||||
};
|
|
||||||
|
|
||||||
select.setCursorPos = function(container, from, to) {
|
|
||||||
var range = document.createRange();
|
|
||||||
|
|
||||||
function setPoint(node, offset, side) {
|
|
||||||
if (offset == 0 && node && !node.nextSibling) {
|
|
||||||
range["set" + side + "After"](node);
|
|
||||||
return true;
|
|
||||||
}
|
|
||||||
|
|
||||||
if (!node)
|
|
||||||
node = container.firstChild;
|
|
||||||
else
|
|
||||||
node = node.nextSibling;
|
|
||||||
|
|
||||||
if (!node) return;
|
|
||||||
|
|
||||||
if (offset == 0) {
|
|
||||||
range["set" + side + "Before"](node);
|
|
||||||
return true;
|
|
||||||
}
|
|
||||||
|
|
||||||
var backlog = []
|
|
||||||
function decompose(node) {
|
|
||||||
if (node.nodeType == 3)
|
|
||||||
backlog.push(node);
|
|
||||||
else
|
|
||||||
forEach(node.childNodes, decompose);
|
|
||||||
}
|
|
||||||
while (true) {
|
|
||||||
while (node && !backlog.length) {
|
|
||||||
decompose(node);
|
|
||||||
node = node.nextSibling;
|
|
||||||
}
|
|
||||||
var cur = backlog.shift();
|
|
||||||
if (!cur) return false;
|
|
||||||
|
|
||||||
var length = cur.nodeValue.length;
|
|
||||||
if (length >= offset) {
|
|
||||||
range["set" + side](cur, offset);
|
|
||||||
return true;
|
|
||||||
}
|
|
||||||
offset -= length;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
to = to || from;
|
|
||||||
if (setPoint(to.node, to.offset, "End") && setPoint(from.node, from.offset, "Start"))
|
|
||||||
selectRange(range);
|
|
||||||
};
|
|
||||||
}
|
|
||||||
})();
|
|
||||||
@@ -1,159 +0,0 @@
|
|||||||
/* String streams are the things fed to parsers (which can feed them
|
|
||||||
* to a tokenizer if they want). They provide peek and next methods
|
|
||||||
* for looking at the current character (next 'consumes' this
|
|
||||||
* character, peek does not), and a get method for retrieving all the
|
|
||||||
* text that was consumed since the last time get was called.
|
|
||||||
*
|
|
||||||
* An easy mistake to make is to let a StopIteration exception finish
|
|
||||||
* the token stream while there are still characters pending in the
|
|
||||||
* string stream (hitting the end of the buffer while parsing a
|
|
||||||
* token). To make it easier to detect such errors, the stringstreams
|
|
||||||
* throw an exception when this happens.
|
|
||||||
*/
|
|
||||||
|
|
||||||
// Make a stringstream stream out of an iterator that returns strings.
|
|
||||||
// This is applied to the result of traverseDOM (see codemirror.js),
|
|
||||||
// and the resulting stream is fed to the parser.
|
|
||||||
var stringStream = function(source){
|
|
||||||
// String that's currently being iterated over.
|
|
||||||
var current = "";
|
|
||||||
// Position in that string.
|
|
||||||
var pos = 0;
|
|
||||||
// Accumulator for strings that have been iterated over but not
|
|
||||||
// get()-ed yet.
|
|
||||||
var accum = "";
|
|
||||||
// Make sure there are more characters ready, or throw
|
|
||||||
// StopIteration.
|
|
||||||
function ensureChars() {
|
|
||||||
while (pos == current.length) {
|
|
||||||
accum += current;
|
|
||||||
current = ""; // In case source.next() throws
|
|
||||||
pos = 0;
|
|
||||||
try {current = source.next();}
|
|
||||||
catch (e) {
|
|
||||||
if (e != StopIteration) throw e;
|
|
||||||
else return false;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
return true;
|
|
||||||
}
|
|
||||||
|
|
||||||
return {
|
|
||||||
// peek: -> character
|
|
||||||
// Return the next character in the stream.
|
|
||||||
peek: function() {
|
|
||||||
if (!ensureChars()) return null;
|
|
||||||
return current.charAt(pos);
|
|
||||||
},
|
|
||||||
// next: -> character
|
|
||||||
// Get the next character, throw StopIteration if at end, check
|
|
||||||
// for unused content.
|
|
||||||
next: function() {
|
|
||||||
if (!ensureChars()) {
|
|
||||||
if (accum.length > 0)
|
|
||||||
throw "End of stringstream reached without emptying buffer ('" + accum + "').";
|
|
||||||
else
|
|
||||||
throw StopIteration;
|
|
||||||
}
|
|
||||||
return current.charAt(pos++);
|
|
||||||
},
|
|
||||||
// get(): -> string
|
|
||||||
// Return the characters iterated over since the last call to
|
|
||||||
// .get().
|
|
||||||
get: function() {
|
|
||||||
var temp = accum;
|
|
||||||
accum = "";
|
|
||||||
if (pos > 0){
|
|
||||||
temp += current.slice(0, pos);
|
|
||||||
current = current.slice(pos);
|
|
||||||
pos = 0;
|
|
||||||
}
|
|
||||||
return temp;
|
|
||||||
},
|
|
||||||
// Push a string back into the stream.
|
|
||||||
push: function(str) {
|
|
||||||
current = current.slice(0, pos) + str + current.slice(pos);
|
|
||||||
},
|
|
||||||
lookAhead: function(str, consume, skipSpaces, caseInsensitive) {
|
|
||||||
function cased(str) {return caseInsensitive ? str.toLowerCase() : str;}
|
|
||||||
str = cased(str);
|
|
||||||
var found = false;
|
|
||||||
|
|
||||||
var _accum = accum, _pos = pos;
|
|
||||||
if (skipSpaces) this.nextWhileMatches(/[\s\u00a0]/);
|
|
||||||
|
|
||||||
while (true) {
|
|
||||||
var end = pos + str.length, left = current.length - pos;
|
|
||||||
if (end <= current.length) {
|
|
||||||
found = str == cased(current.slice(pos, end));
|
|
||||||
pos = end;
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
else if (str.slice(0, left) == cased(current.slice(pos))) {
|
|
||||||
accum += current; current = "";
|
|
||||||
try {current = source.next();}
|
|
||||||
catch (e) {if (e != StopIteration) throw e; break;}
|
|
||||||
pos = 0;
|
|
||||||
str = str.slice(left);
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
if (!(found && consume)) {
|
|
||||||
current = accum.slice(_accum.length) + current;
|
|
||||||
pos = _pos;
|
|
||||||
accum = _accum;
|
|
||||||
}
|
|
||||||
|
|
||||||
return found;
|
|
||||||
},
|
|
||||||
// Wont't match past end of line.
|
|
||||||
lookAheadRegex: function(regex, consume) {
|
|
||||||
if (regex.source.charAt(0) != "^")
|
|
||||||
throw new Error("Regexps passed to lookAheadRegex must start with ^");
|
|
||||||
|
|
||||||
// Fetch the rest of the line
|
|
||||||
while (current.indexOf("\n", pos) == -1) {
|
|
||||||
try {current += source.next();}
|
|
||||||
catch (e) {if (e != StopIteration) throw e; break;}
|
|
||||||
}
|
|
||||||
var matched = current.slice(pos).match(regex);
|
|
||||||
if (matched && consume) pos += matched[0].length;
|
|
||||||
return matched;
|
|
||||||
},
|
|
||||||
|
|
||||||
// Utils built on top of the above
|
|
||||||
// more: -> boolean
|
|
||||||
// Produce true if the stream isn't empty.
|
|
||||||
more: function() {
|
|
||||||
return this.peek() !== null;
|
|
||||||
},
|
|
||||||
applies: function(test) {
|
|
||||||
var next = this.peek();
|
|
||||||
return (next !== null && test(next));
|
|
||||||
},
|
|
||||||
nextWhile: function(test) {
|
|
||||||
var next;
|
|
||||||
while ((next = this.peek()) !== null && test(next))
|
|
||||||
this.next();
|
|
||||||
},
|
|
||||||
matches: function(re) {
|
|
||||||
var next = this.peek();
|
|
||||||
return (next !== null && re.test(next));
|
|
||||||
},
|
|
||||||
nextWhileMatches: function(re) {
|
|
||||||
var next;
|
|
||||||
while ((next = this.peek()) !== null && re.test(next))
|
|
||||||
this.next();
|
|
||||||
},
|
|
||||||
equals: function(ch) {
|
|
||||||
return ch === this.peek();
|
|
||||||
},
|
|
||||||
endOfLine: function() {
|
|
||||||
var next = this.peek();
|
|
||||||
return next == null || next == "\n";
|
|
||||||
}
|
|
||||||
};
|
|
||||||
};
|
|
||||||
@@ -1,57 +0,0 @@
|
|||||||
// A framework for simple tokenizers. Takes care of newlines and
|
|
||||||
// white-space, and of getting the text from the source stream into
|
|
||||||
// the token object. A state is a function of two arguments -- a
|
|
||||||
// string stream and a setState function. The second can be used to
|
|
||||||
// change the tokenizer's state, and can be ignored for stateless
|
|
||||||
// tokenizers. This function should advance the stream over a token
|
|
||||||
// and return a string or object containing information about the next
|
|
||||||
// token, or null to pass and have the (new) state be called to finish
|
|
||||||
// the token. When a string is given, it is wrapped in a {style, type}
|
|
||||||
// object. In the resulting object, the characters consumed are stored
|
|
||||||
// under the content property. Any whitespace following them is also
|
|
||||||
// automatically consumed, and added to the value property. (Thus,
|
|
||||||
// content is the actual meaningful part of the token, while value
|
|
||||||
// contains all the text it spans.)
|
|
||||||
|
|
||||||
function tokenizer(source, state) {
|
|
||||||
// Newlines are always a separate token.
|
|
||||||
function isWhiteSpace(ch) {
|
|
||||||
// The messy regexp is because IE's regexp matcher is of the
|
|
||||||
// opinion that non-breaking spaces are no whitespace.
|
|
||||||
return ch != "\n" && /^[\s\u00a0]*$/.test(ch);
|
|
||||||
}
|
|
||||||
|
|
||||||
var tokenizer = {
|
|
||||||
state: state,
|
|
||||||
|
|
||||||
take: function(type) {
|
|
||||||
if (typeof(type) == "string")
|
|
||||||
type = {style: type, type: type};
|
|
||||||
|
|
||||||
type.content = (type.content || "") + source.get();
|
|
||||||
if (!/\n$/.test(type.content))
|
|
||||||
source.nextWhile(isWhiteSpace);
|
|
||||||
type.value = type.content + source.get();
|
|
||||||
return type;
|
|
||||||
},
|
|
||||||
|
|
||||||
next: function () {
|
|
||||||
if (!source.more()) throw StopIteration;
|
|
||||||
|
|
||||||
var type;
|
|
||||||
if (source.equals("\n")) {
|
|
||||||
source.next();
|
|
||||||
return this.take("whitespace");
|
|
||||||
}
|
|
||||||
|
|
||||||
if (source.applies(isWhiteSpace))
|
|
||||||
type = "whitespace";
|
|
||||||
else
|
|
||||||
while (!type)
|
|
||||||
type = this.state(source, function(s) {tokenizer.state = s;});
|
|
||||||
|
|
||||||
return this.take(type);
|
|
||||||
}
|
|
||||||
};
|
|
||||||
return tokenizer;
|
|
||||||
}
|
|
||||||
@@ -1,174 +0,0 @@
|
|||||||
/* Tokenizer for JavaScript code */
|
|
||||||
|
|
||||||
var tokenizeJavaScript = (function() {
|
|
||||||
// Advance the stream until the given character (not preceded by a
|
|
||||||
// backslash) is encountered, or the end of the line is reached.
|
|
||||||
function nextUntilUnescaped(source, end) {
|
|
||||||
var escaped = false;
|
|
||||||
while (!source.endOfLine()) {
|
|
||||||
var next = source.next();
|
|
||||||
if (next == end && !escaped)
|
|
||||||
return false;
|
|
||||||
escaped = !escaped && next == "\\";
|
|
||||||
}
|
|
||||||
return escaped;
|
|
||||||
}
|
|
||||||
|
|
||||||
// A map of JavaScript's keywords. The a/b/c keyword distinction is
|
|
||||||
// very rough, but it gives the parser enough information to parse
|
|
||||||
// correct code correctly (we don't care that much how we parse
|
|
||||||
// incorrect code). The style information included in these objects
|
|
||||||
// is used by the highlighter to pick the correct CSS style for a
|
|
||||||
// token.
|
|
||||||
var keywords = function(){
|
|
||||||
function result(type, style){
|
|
||||||
return {type: type, style: "js-" + style};
|
|
||||||
}
|
|
||||||
// keywords that take a parenthised expression, and then a
|
|
||||||
// statement (if)
|
|
||||||
var keywordA = result("keyword a", "keyword");
|
|
||||||
// keywords that take just a statement (else)
|
|
||||||
var keywordB = result("keyword b", "keyword");
|
|
||||||
// keywords that optionally take an expression, and form a
|
|
||||||
// statement (return)
|
|
||||||
var keywordC = result("keyword c", "keyword");
|
|
||||||
var operator = result("operator", "keyword");
|
|
||||||
var atom = result("atom", "atom");
|
|
||||||
return {
|
|
||||||
"if": keywordA, "while": keywordA, "with": keywordA,
|
|
||||||
"else": keywordB, "do": keywordB, "try": keywordB, "finally": keywordB,
|
|
||||||
"return": keywordC, "break": keywordC, "continue": keywordC, "new": keywordC, "delete": keywordC, "throw": keywordC,
|
|
||||||
"in": operator, "typeof": operator, "instanceof": operator,
|
|
||||||
"var": result("var", "keyword"), "function": result("function", "keyword"), "catch": result("catch", "keyword"),
|
|
||||||
"for": result("for", "keyword"), "switch": result("switch", "keyword"),
|
|
||||||
"case": result("case", "keyword"), "default": result("default", "keyword"),
|
|
||||||
"true": atom, "false": atom, "null": atom, "undefined": atom, "NaN": atom, "Infinity": atom
|
|
||||||
};
|
|
||||||
}();
|
|
||||||
|
|
||||||
// Some helper regexps
|
|
||||||
var isOperatorChar = /[+\-*&%=<>!?|]/;
|
|
||||||
var isHexDigit = /[0-9A-Fa-f]/;
|
|
||||||
var isWordChar = /[\w\$_]/;
|
|
||||||
|
|
||||||
// Wrapper around jsToken that helps maintain parser state (whether
|
|
||||||
// we are inside of a multi-line comment and whether the next token
|
|
||||||
// could be a regular expression).
|
|
||||||
function jsTokenState(inside, regexp) {
|
|
||||||
return function(source, setState) {
|
|
||||||
var newInside = inside;
|
|
||||||
var type = jsToken(inside, regexp, source, function(c) {newInside = c;});
|
|
||||||
var newRegexp = type.type == "operator" || type.type == "keyword c" || type.type.match(/^[\[{}\(,;:]$/);
|
|
||||||
if (newRegexp != regexp || newInside != inside)
|
|
||||||
setState(jsTokenState(newInside, newRegexp));
|
|
||||||
return type;
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
// The token reader, intended to be used by the tokenizer from
|
|
||||||
// tokenize.js (through jsTokenState). Advances the source stream
|
|
||||||
// over a token, and returns an object containing the type and style
|
|
||||||
// of that token.
|
|
||||||
function jsToken(inside, regexp, source, setInside) {
|
|
||||||
function readHexNumber(){
|
|
||||||
source.next(); // skip the 'x'
|
|
||||||
source.nextWhileMatches(isHexDigit);
|
|
||||||
return {type: "number", style: "js-atom"};
|
|
||||||
}
|
|
||||||
|
|
||||||
function readNumber() {
|
|
||||||
source.nextWhileMatches(/[0-9]/);
|
|
||||||
if (source.equals(".")){
|
|
||||||
source.next();
|
|
||||||
source.nextWhileMatches(/[0-9]/);
|
|
||||||
}
|
|
||||||
if (source.equals("e") || source.equals("E")){
|
|
||||||
source.next();
|
|
||||||
if (source.equals("-"))
|
|
||||||
source.next();
|
|
||||||
source.nextWhileMatches(/[0-9]/);
|
|
||||||
}
|
|
||||||
return {type: "number", style: "js-atom"};
|
|
||||||
}
|
|
||||||
// Read a word, look it up in keywords. If not found, it is a
|
|
||||||
// variable, otherwise it is a keyword of the type found.
|
|
||||||
function readWord() {
|
|
||||||
source.nextWhileMatches(isWordChar);
|
|
||||||
var word = source.get();
|
|
||||||
var known = keywords.hasOwnProperty(word) && keywords.propertyIsEnumerable(word) && keywords[word];
|
|
||||||
return known ? {type: known.type, style: known.style, content: word} :
|
|
||||||
{type: "variable", style: "js-variable", content: word};
|
|
||||||
}
|
|
||||||
function readRegexp() {
|
|
||||||
nextUntilUnescaped(source, "/");
|
|
||||||
source.nextWhileMatches(/[gimy]/); // 'y' is "sticky" option in Mozilla
|
|
||||||
return {type: "regexp", style: "js-string"};
|
|
||||||
}
|
|
||||||
// Mutli-line comments are tricky. We want to return the newlines
|
|
||||||
// embedded in them as regular newline tokens, and then continue
|
|
||||||
// returning a comment token for every line of the comment. So
|
|
||||||
// some state has to be saved (inside) to indicate whether we are
|
|
||||||
// inside a /* */ sequence.
|
|
||||||
function readMultilineComment(start){
|
|
||||||
var newInside = "/*";
|
|
||||||
var maybeEnd = (start == "*");
|
|
||||||
while (true) {
|
|
||||||
if (source.endOfLine())
|
|
||||||
break;
|
|
||||||
var next = source.next();
|
|
||||||
if (next == "/" && maybeEnd){
|
|
||||||
newInside = null;
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
maybeEnd = (next == "*");
|
|
||||||
}
|
|
||||||
setInside(newInside);
|
|
||||||
return {type: "comment", style: "js-comment"};
|
|
||||||
}
|
|
||||||
function readOperator() {
|
|
||||||
source.nextWhileMatches(isOperatorChar);
|
|
||||||
return {type: "operator", style: "js-operator"};
|
|
||||||
}
|
|
||||||
function readString(quote) {
|
|
||||||
var endBackSlash = nextUntilUnescaped(source, quote);
|
|
||||||
setInside(endBackSlash ? quote : null);
|
|
||||||
return {type: "string", style: "js-string"};
|
|
||||||
}
|
|
||||||
|
|
||||||
// Fetch the next token. Dispatches on first character in the
|
|
||||||
// stream, or first two characters when the first is a slash.
|
|
||||||
if (inside == "\"" || inside == "'")
|
|
||||||
return readString(inside);
|
|
||||||
var ch = source.next();
|
|
||||||
if (inside == "/*")
|
|
||||||
return readMultilineComment(ch);
|
|
||||||
else if (ch == "\"" || ch == "'")
|
|
||||||
return readString(ch);
|
|
||||||
// with punctuation, the type of the token is the symbol itself
|
|
||||||
else if (/[\[\]{}\(\),;\:\.]/.test(ch))
|
|
||||||
return {type: ch, style: "js-punctuation"};
|
|
||||||
else if (ch == "0" && (source.equals("x") || source.equals("X")))
|
|
||||||
return readHexNumber();
|
|
||||||
else if (/[0-9]/.test(ch))
|
|
||||||
return readNumber();
|
|
||||||
else if (ch == "/"){
|
|
||||||
if (source.equals("*"))
|
|
||||||
{ source.next(); return readMultilineComment(ch); }
|
|
||||||
else if (source.equals("/"))
|
|
||||||
{ nextUntilUnescaped(source, null); return {type: "comment", style: "js-comment"};}
|
|
||||||
else if (regexp)
|
|
||||||
return readRegexp();
|
|
||||||
else
|
|
||||||
return readOperator();
|
|
||||||
}
|
|
||||||
else if (isOperatorChar.test(ch))
|
|
||||||
return readOperator();
|
|
||||||
else
|
|
||||||
return readWord();
|
|
||||||
}
|
|
||||||
|
|
||||||
// The external interface to the tokenizer.
|
|
||||||
return function(source, startState) {
|
|
||||||
return tokenizer(source, startState || jsTokenState(false, true));
|
|
||||||
};
|
|
||||||
})();
|
|
||||||
@@ -1,413 +0,0 @@
|
|||||||
/**
|
|
||||||
* Storage and control for undo information within a CodeMirror
|
|
||||||
* editor. 'Why on earth is such a complicated mess required for
|
|
||||||
* that?', I hear you ask. The goal, in implementing this, was to make
|
|
||||||
* the complexity of storing and reverting undo information depend
|
|
||||||
* only on the size of the edited or restored content, not on the size
|
|
||||||
* of the whole document. This makes it necessary to use a kind of
|
|
||||||
* 'diff' system, which, when applied to a DOM tree, causes some
|
|
||||||
* complexity and hackery.
|
|
||||||
*
|
|
||||||
* In short, the editor 'touches' BR elements as it parses them, and
|
|
||||||
* the UndoHistory stores these. When nothing is touched in commitDelay
|
|
||||||
* milliseconds, the changes are committed: It goes over all touched
|
|
||||||
* nodes, throws out the ones that did not change since last commit or
|
|
||||||
* are no longer in the document, and assembles the rest into zero or
|
|
||||||
* more 'chains' -- arrays of adjacent lines. Links back to these
|
|
||||||
* chains are added to the BR nodes, while the chain that previously
|
|
||||||
* spanned these nodes is added to the undo history. Undoing a change
|
|
||||||
* means taking such a chain off the undo history, restoring its
|
|
||||||
* content (text is saved per line) and linking it back into the
|
|
||||||
* document.
|
|
||||||
*/
|
|
||||||
|
|
||||||
// A history object needs to know about the DOM container holding the
|
|
||||||
// document, the maximum amount of undo levels it should store, the
|
|
||||||
// delay (of no input) after which it commits a set of changes, and,
|
|
||||||
// unfortunately, the 'parent' window -- a window that is not in
|
|
||||||
// designMode, and on which setTimeout works in every browser.
|
|
||||||
function UndoHistory(container, maxDepth, commitDelay, editor) {
|
|
||||||
this.container = container;
|
|
||||||
this.maxDepth = maxDepth; this.commitDelay = commitDelay;
|
|
||||||
this.editor = editor;
|
|
||||||
// This line object represents the initial, empty editor.
|
|
||||||
var initial = {text: "", from: null, to: null};
|
|
||||||
// As the borders between lines are represented by BR elements, the
|
|
||||||
// start of the first line and the end of the last one are
|
|
||||||
// represented by null. Since you can not store any properties
|
|
||||||
// (links to line objects) in null, these properties are used in
|
|
||||||
// those cases.
|
|
||||||
this.first = initial; this.last = initial;
|
|
||||||
// Similarly, a 'historyTouched' property is added to the BR in
|
|
||||||
// front of lines that have already been touched, and 'firstTouched'
|
|
||||||
// is used for the first line.
|
|
||||||
this.firstTouched = false;
|
|
||||||
// History is the set of committed changes, touched is the set of
|
|
||||||
// nodes touched since the last commit.
|
|
||||||
this.history = []; this.redoHistory = []; this.touched = []; this.lostundo = 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
UndoHistory.prototype = {
|
|
||||||
// Schedule a commit (if no other touches come in for commitDelay
|
|
||||||
// milliseconds).
|
|
||||||
scheduleCommit: function() {
|
|
||||||
var self = this;
|
|
||||||
parent.clearTimeout(this.commitTimeout);
|
|
||||||
this.commitTimeout = parent.setTimeout(function(){self.tryCommit();}, this.commitDelay);
|
|
||||||
},
|
|
||||||
|
|
||||||
// Mark a node as touched. Null is a valid argument.
|
|
||||||
touch: function(node) {
|
|
||||||
this.setTouched(node);
|
|
||||||
this.scheduleCommit();
|
|
||||||
},
|
|
||||||
|
|
||||||
// Undo the last change.
|
|
||||||
undo: function() {
|
|
||||||
// Make sure pending changes have been committed.
|
|
||||||
this.commit();
|
|
||||||
|
|
||||||
if (this.history.length) {
|
|
||||||
// Take the top diff from the history, apply it, and store its
|
|
||||||
// shadow in the redo history.
|
|
||||||
var item = this.history.pop();
|
|
||||||
this.redoHistory.push(this.updateTo(item, "applyChain"));
|
|
||||||
this.notifyEnvironment();
|
|
||||||
return this.chainNode(item);
|
|
||||||
}
|
|
||||||
},
|
|
||||||
|
|
||||||
// Redo the last undone change.
|
|
||||||
redo: function() {
|
|
||||||
this.commit();
|
|
||||||
if (this.redoHistory.length) {
|
|
||||||
// The inverse of undo, basically.
|
|
||||||
var item = this.redoHistory.pop();
|
|
||||||
this.addUndoLevel(this.updateTo(item, "applyChain"));
|
|
||||||
this.notifyEnvironment();
|
|
||||||
return this.chainNode(item);
|
|
||||||
}
|
|
||||||
},
|
|
||||||
|
|
||||||
clear: function() {
|
|
||||||
this.history = [];
|
|
||||||
this.redoHistory = [];
|
|
||||||
this.lostundo = 0;
|
|
||||||
},
|
|
||||||
|
|
||||||
// Ask for the size of the un/redo histories.
|
|
||||||
historySize: function() {
|
|
||||||
return {undo: this.history.length, redo: this.redoHistory.length, lostundo: this.lostundo};
|
|
||||||
},
|
|
||||||
|
|
||||||
// Push a changeset into the document.
|
|
||||||
push: function(from, to, lines) {
|
|
||||||
var chain = [];
|
|
||||||
for (var i = 0; i < lines.length; i++) {
|
|
||||||
var end = (i == lines.length - 1) ? to : document.createElement("br");
|
|
||||||
chain.push({from: from, to: end, text: cleanText(lines[i])});
|
|
||||||
from = end;
|
|
||||||
}
|
|
||||||
this.pushChains([chain], from == null && to == null);
|
|
||||||
this.notifyEnvironment();
|
|
||||||
},
|
|
||||||
|
|
||||||
pushChains: function(chains, doNotHighlight) {
|
|
||||||
this.commit(doNotHighlight);
|
|
||||||
this.addUndoLevel(this.updateTo(chains, "applyChain"));
|
|
||||||
this.redoHistory = [];
|
|
||||||
},
|
|
||||||
|
|
||||||
// Retrieve a DOM node from a chain (for scrolling to it after undo/redo).
|
|
||||||
chainNode: function(chains) {
|
|
||||||
for (var i = 0; i < chains.length; i++) {
|
|
||||||
var start = chains[i][0], node = start && (start.from || start.to);
|
|
||||||
if (node) return node;
|
|
||||||
}
|
|
||||||
},
|
|
||||||
|
|
||||||
// Clear the undo history, make the current document the start
|
|
||||||
// position.
|
|
||||||
reset: function() {
|
|
||||||
this.history = []; this.redoHistory = []; this.lostundo = 0;
|
|
||||||
},
|
|
||||||
|
|
||||||
textAfter: function(br) {
|
|
||||||
return this.after(br).text;
|
|
||||||
},
|
|
||||||
|
|
||||||
nodeAfter: function(br) {
|
|
||||||
return this.after(br).to;
|
|
||||||
},
|
|
||||||
|
|
||||||
nodeBefore: function(br) {
|
|
||||||
return this.before(br).from;
|
|
||||||
},
|
|
||||||
|
|
||||||
// Commit unless there are pending dirty nodes.
|
|
||||||
tryCommit: function() {
|
|
||||||
if (!window || !window.parent || !window.UndoHistory) return; // Stop when frame has been unloaded
|
|
||||||
if (this.editor.highlightDirty()) this.commit(true);
|
|
||||||
else this.scheduleCommit();
|
|
||||||
},
|
|
||||||
|
|
||||||
// Check whether the touched nodes hold any changes, if so, commit
|
|
||||||
// them.
|
|
||||||
commit: function(doNotHighlight) {
|
|
||||||
parent.clearTimeout(this.commitTimeout);
|
|
||||||
// Make sure there are no pending dirty nodes.
|
|
||||||
if (!doNotHighlight) this.editor.highlightDirty(true);
|
|
||||||
// Build set of chains.
|
|
||||||
var chains = this.touchedChains(), self = this;
|
|
||||||
|
|
||||||
if (chains.length) {
|
|
||||||
this.addUndoLevel(this.updateTo(chains, "linkChain"));
|
|
||||||
this.redoHistory = [];
|
|
||||||
this.notifyEnvironment();
|
|
||||||
}
|
|
||||||
},
|
|
||||||
|
|
||||||
// [ end of public interface ]
|
|
||||||
|
|
||||||
// Update the document with a given set of chains, return its
|
|
||||||
// shadow. updateFunc should be "applyChain" or "linkChain". In the
|
|
||||||
// second case, the chains are taken to correspond the the current
|
|
||||||
// document, and only the state of the line data is updated. In the
|
|
||||||
// first case, the content of the chains is also pushed iinto the
|
|
||||||
// document.
|
|
||||||
updateTo: function(chains, updateFunc) {
|
|
||||||
var shadows = [], dirty = [];
|
|
||||||
for (var i = 0; i < chains.length; i++) {
|
|
||||||
shadows.push(this.shadowChain(chains[i]));
|
|
||||||
dirty.push(this[updateFunc](chains[i]));
|
|
||||||
}
|
|
||||||
if (updateFunc == "applyChain")
|
|
||||||
this.notifyDirty(dirty);
|
|
||||||
return shadows;
|
|
||||||
},
|
|
||||||
|
|
||||||
// Notify the editor that some nodes have changed.
|
|
||||||
notifyDirty: function(nodes) {
|
|
||||||
forEach(nodes, method(this.editor, "addDirtyNode"))
|
|
||||||
this.editor.scheduleHighlight();
|
|
||||||
},
|
|
||||||
|
|
||||||
notifyEnvironment: function() {
|
|
||||||
if (this.onChange) this.onChange(this.editor);
|
|
||||||
// Used by the line-wrapping line-numbering code.
|
|
||||||
if (window.frameElement && window.frameElement.CodeMirror.updateNumbers)
|
|
||||||
window.frameElement.CodeMirror.updateNumbers();
|
|
||||||
},
|
|
||||||
|
|
||||||
// Link a chain into the DOM nodes (or the first/last links for null
|
|
||||||
// nodes).
|
|
||||||
linkChain: function(chain) {
|
|
||||||
for (var i = 0; i < chain.length; i++) {
|
|
||||||
var line = chain[i];
|
|
||||||
if (line.from) line.from.historyAfter = line;
|
|
||||||
else this.first = line;
|
|
||||||
if (line.to) line.to.historyBefore = line;
|
|
||||||
else this.last = line;
|
|
||||||
}
|
|
||||||
},
|
|
||||||
|
|
||||||
// Get the line object after/before a given node.
|
|
||||||
after: function(node) {
|
|
||||||
return node ? node.historyAfter : this.first;
|
|
||||||
},
|
|
||||||
before: function(node) {
|
|
||||||
return node ? node.historyBefore : this.last;
|
|
||||||
},
|
|
||||||
|
|
||||||
// Mark a node as touched if it has not already been marked.
|
|
||||||
setTouched: function(node) {
|
|
||||||
if (node) {
|
|
||||||
if (!node.historyTouched) {
|
|
||||||
this.touched.push(node);
|
|
||||||
node.historyTouched = true;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
this.firstTouched = true;
|
|
||||||
}
|
|
||||||
},
|
|
||||||
|
|
||||||
// Store a new set of undo info, throw away info if there is more of
|
|
||||||
// it than allowed.
|
|
||||||
addUndoLevel: function(diffs) {
|
|
||||||
this.history.push(diffs);
|
|
||||||
if (this.history.length > this.maxDepth) {
|
|
||||||
this.history.shift();
|
|
||||||
lostundo += 1;
|
|
||||||
}
|
|
||||||
},
|
|
||||||
|
|
||||||
// Build chains from a set of touched nodes.
|
|
||||||
touchedChains: function() {
|
|
||||||
var self = this;
|
|
||||||
|
|
||||||
// The temp system is a crummy hack to speed up determining
|
|
||||||
// whether a (currently touched) node has a line object associated
|
|
||||||
// with it. nullTemp is used to store the object for the first
|
|
||||||
// line, other nodes get it stored in their historyTemp property.
|
|
||||||
var nullTemp = null;
|
|
||||||
function temp(node) {return node ? node.historyTemp : nullTemp;}
|
|
||||||
function setTemp(node, line) {
|
|
||||||
if (node) node.historyTemp = line;
|
|
||||||
else nullTemp = line;
|
|
||||||
}
|
|
||||||
|
|
||||||
function buildLine(node) {
|
|
||||||
var text = [];
|
|
||||||
for (var cur = node ? node.nextSibling : self.container.firstChild;
|
|
||||||
cur && (!isBR(cur) || cur.hackBR); cur = cur.nextSibling)
|
|
||||||
if (!cur.hackBR && cur.currentText) text.push(cur.currentText);
|
|
||||||
return {from: node, to: cur, text: cleanText(text.join(""))};
|
|
||||||
}
|
|
||||||
|
|
||||||
// Filter out unchanged lines and nodes that are no longer in the
|
|
||||||
// document. Build up line objects for remaining nodes.
|
|
||||||
var lines = [];
|
|
||||||
if (self.firstTouched) self.touched.push(null);
|
|
||||||
forEach(self.touched, function(node) {
|
|
||||||
if (node && (node.parentNode != self.container || node.hackBR)) return;
|
|
||||||
|
|
||||||
if (node) node.historyTouched = false;
|
|
||||||
else self.firstTouched = false;
|
|
||||||
|
|
||||||
var line = buildLine(node), shadow = self.after(node);
|
|
||||||
if (!shadow || shadow.text != line.text || shadow.to != line.to) {
|
|
||||||
lines.push(line);
|
|
||||||
setTemp(node, line);
|
|
||||||
}
|
|
||||||
});
|
|
||||||
|
|
||||||
// Get the BR element after/before the given node.
|
|
||||||
function nextBR(node, dir) {
|
|
||||||
var link = dir + "Sibling", search = node[link];
|
|
||||||
while (search && !isBR(search))
|
|
||||||
search = search[link];
|
|
||||||
return search;
|
|
||||||
}
|
|
||||||
|
|
||||||
// Assemble line objects into chains by scanning the DOM tree
|
|
||||||
// around them.
|
|
||||||
var chains = []; self.touched = [];
|
|
||||||
forEach(lines, function(line) {
|
|
||||||
// Note that this makes the loop skip line objects that have
|
|
||||||
// been pulled into chains by lines before them.
|
|
||||||
if (!temp(line.from)) return;
|
|
||||||
|
|
||||||
var chain = [], curNode = line.from, safe = true;
|
|
||||||
// Put any line objects (referred to by temp info) before this
|
|
||||||
// one on the front of the array.
|
|
||||||
while (true) {
|
|
||||||
var curLine = temp(curNode);
|
|
||||||
if (!curLine) {
|
|
||||||
if (safe) break;
|
|
||||||
else curLine = buildLine(curNode);
|
|
||||||
}
|
|
||||||
chain.unshift(curLine);
|
|
||||||
setTemp(curNode, null);
|
|
||||||
if (!curNode) break;
|
|
||||||
safe = self.after(curNode);
|
|
||||||
curNode = nextBR(curNode, "previous");
|
|
||||||
}
|
|
||||||
curNode = line.to; safe = self.before(line.from);
|
|
||||||
// Add lines after this one at end of array.
|
|
||||||
while (true) {
|
|
||||||
if (!curNode) break;
|
|
||||||
var curLine = temp(curNode);
|
|
||||||
if (!curLine) {
|
|
||||||
if (safe) break;
|
|
||||||
else curLine = buildLine(curNode);
|
|
||||||
}
|
|
||||||
chain.push(curLine);
|
|
||||||
setTemp(curNode, null);
|
|
||||||
safe = self.before(curNode);
|
|
||||||
curNode = nextBR(curNode, "next");
|
|
||||||
}
|
|
||||||
chains.push(chain);
|
|
||||||
});
|
|
||||||
|
|
||||||
return chains;
|
|
||||||
},
|
|
||||||
|
|
||||||
// Find the 'shadow' of a given chain by following the links in the
|
|
||||||
// DOM nodes at its start and end.
|
|
||||||
shadowChain: function(chain) {
|
|
||||||
var shadows = [], next = this.after(chain[0].from), end = chain[chain.length - 1].to;
|
|
||||||
while (true) {
|
|
||||||
shadows.push(next);
|
|
||||||
var nextNode = next.to;
|
|
||||||
if (!nextNode || nextNode == end)
|
|
||||||
break;
|
|
||||||
else
|
|
||||||
next = nextNode.historyAfter || this.before(end);
|
|
||||||
// (The this.before(end) is a hack -- FF sometimes removes
|
|
||||||
// properties from BR nodes, in which case the best we can hope
|
|
||||||
// for is to not break.)
|
|
||||||
}
|
|
||||||
return shadows;
|
|
||||||
},
|
|
||||||
|
|
||||||
// Update the DOM tree to contain the lines specified in a given
|
|
||||||
// chain, link this chain into the DOM nodes.
|
|
||||||
applyChain: function(chain) {
|
|
||||||
// Some attempt is made to prevent the cursor from jumping
|
|
||||||
// randomly when an undo or redo happens. It still behaves a bit
|
|
||||||
// strange sometimes.
|
|
||||||
var cursor = select.cursorPos(this.container, false), self = this;
|
|
||||||
|
|
||||||
// Remove all nodes in the DOM tree between from and to (null for
|
|
||||||
// start/end of container).
|
|
||||||
function removeRange(from, to) {
|
|
||||||
var pos = from ? from.nextSibling : self.container.firstChild;
|
|
||||||
while (pos != to) {
|
|
||||||
var temp = pos.nextSibling;
|
|
||||||
removeElement(pos);
|
|
||||||
pos = temp;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
var start = chain[0].from, end = chain[chain.length - 1].to;
|
|
||||||
// Clear the space where this change has to be made.
|
|
||||||
removeRange(start, end);
|
|
||||||
|
|
||||||
// Insert the content specified by the chain into the DOM tree.
|
|
||||||
for (var i = 0; i < chain.length; i++) {
|
|
||||||
var line = chain[i];
|
|
||||||
// The start and end of the space are already correct, but BR
|
|
||||||
// tags inside it have to be put back.
|
|
||||||
if (i > 0)
|
|
||||||
self.container.insertBefore(line.from, end);
|
|
||||||
|
|
||||||
// Add the text.
|
|
||||||
var node = makePartSpan(fixSpaces(line.text));
|
|
||||||
self.container.insertBefore(node, end);
|
|
||||||
// See if the cursor was on this line. Put it back, adjusting
|
|
||||||
// for changed line length, if it was.
|
|
||||||
if (cursor && cursor.node == line.from) {
|
|
||||||
var cursordiff = 0;
|
|
||||||
var prev = this.after(line.from);
|
|
||||||
if (prev && i == chain.length - 1) {
|
|
||||||
// Only adjust if the cursor is after the unchanged part of
|
|
||||||
// the line.
|
|
||||||
for (var match = 0; match < cursor.offset &&
|
|
||||||
line.text.charAt(match) == prev.text.charAt(match); match++){}
|
|
||||||
if (cursor.offset > match)
|
|
||||||
cursordiff = line.text.length - prev.text.length;
|
|
||||||
}
|
|
||||||
select.setCursorPos(this.container, {node: line.from, offset: Math.max(0, cursor.offset + cursordiff)});
|
|
||||||
}
|
|
||||||
// Cursor was in removed line, this is last new line.
|
|
||||||
else if (cursor && (i == chain.length - 1) && cursor.node && cursor.node.parentNode != this.container) {
|
|
||||||
select.setCursorPos(this.container, {node: line.from, offset: line.text.length});
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// Anchor the chain in the DOM tree.
|
|
||||||
this.linkChain(chain);
|
|
||||||
return start;
|
|
||||||
}
|
|
||||||
};
|
|
||||||
@@ -1,44 +0,0 @@
|
|||||||
/**
|
|
||||||
* Test Harness for CodeMirror
|
|
||||||
* JS-unit compatible tests here. The two available assertions are
|
|
||||||
* assertEquals (strict equality) and assertEquivalent (looser equivalency).
|
|
||||||
*
|
|
||||||
* 'editor' is a global object for the CodeMirror editor shared between all
|
|
||||||
* tests. After manipulating it in each test, try to restore it to
|
|
||||||
* approximately its original state.
|
|
||||||
*/
|
|
||||||
|
|
||||||
function testSetGet() {
|
|
||||||
var code = 'It was the best of times.\nIt was the worst of times.';
|
|
||||||
editor.setCode(code);
|
|
||||||
assertEquals(code, editor.getCode());
|
|
||||||
editor.setCode('');
|
|
||||||
assertEquals('', editor.getCode());
|
|
||||||
}
|
|
||||||
|
|
||||||
function testSetStylesheet() {
|
|
||||||
function cssStatus() {
|
|
||||||
// Returns a list of tuples, for each CSS link return the filename and
|
|
||||||
// whether it is enabled.
|
|
||||||
links = editor.win.document.getElementsByTagName('link');
|
|
||||||
css = [];
|
|
||||||
for (var x = 0, link; link = links[x]; x++) {
|
|
||||||
if (link.rel.indexOf("stylesheet") !== -1) {
|
|
||||||
css.push([link.href.substring(link.href.lastIndexOf('/') + 1),
|
|
||||||
!link.disabled])
|
|
||||||
}
|
|
||||||
}
|
|
||||||
return css;
|
|
||||||
}
|
|
||||||
assertEquivalent([], cssStatus());
|
|
||||||
editor.setStylesheet('css/jscolors.css');
|
|
||||||
assertEquivalent([['jscolors.css', true]], cssStatus());
|
|
||||||
editor.setStylesheet(['css/csscolors.css', 'css/xmlcolors.css']);
|
|
||||||
assertEquivalent([['jscolors.css', false], ['csscolors.css', true], ['xmlcolors.css', true]], cssStatus());
|
|
||||||
editor.setStylesheet([]);
|
|
||||||
assertEquivalent([['jscolors.css', false], ['csscolors.css', false], ['xmlcolors.css', false]], cssStatus());
|
|
||||||
}
|
|
||||||
|
|
||||||
// Update this list of tests as new ones are added.
|
|
||||||
var tests = ['testSetGet', 'testSetStylesheet'];
|
|
||||||
|
|
||||||
@@ -1,133 +0,0 @@
|
|||||||
/* A few useful utility functions. */
|
|
||||||
|
|
||||||
// Capture a method on an object.
|
|
||||||
function method(obj, name) {
|
|
||||||
return function() {obj[name].apply(obj, arguments);};
|
|
||||||
}
|
|
||||||
|
|
||||||
// The value used to signal the end of a sequence in iterators.
|
|
||||||
var StopIteration = {toString: function() {return "StopIteration"}};
|
|
||||||
|
|
||||||
// Apply a function to each element in a sequence.
|
|
||||||
function forEach(iter, f) {
|
|
||||||
if (iter.next) {
|
|
||||||
try {while (true) f(iter.next());}
|
|
||||||
catch (e) {if (e != StopIteration) throw e;}
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
for (var i = 0; i < iter.length; i++)
|
|
||||||
f(iter[i]);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// Map a function over a sequence, producing an array of results.
|
|
||||||
function map(iter, f) {
|
|
||||||
var accum = [];
|
|
||||||
forEach(iter, function(val) {accum.push(f(val));});
|
|
||||||
return accum;
|
|
||||||
}
|
|
||||||
|
|
||||||
// Create a predicate function that tests a string againsts a given
|
|
||||||
// regular expression. No longer used but might be used by 3rd party
|
|
||||||
// parsers.
|
|
||||||
function matcher(regexp){
|
|
||||||
return function(value){return regexp.test(value);};
|
|
||||||
}
|
|
||||||
|
|
||||||
// Test whether a DOM node has a certain CSS class.
|
|
||||||
function hasClass(element, className) {
|
|
||||||
var classes = element.className;
|
|
||||||
return classes && new RegExp("(^| )" + className + "($| )").test(classes);
|
|
||||||
}
|
|
||||||
function removeClass(element, className) {
|
|
||||||
element.className = element.className.replace(new RegExp(" " + className + "\\b", "g"), "");
|
|
||||||
return element;
|
|
||||||
}
|
|
||||||
|
|
||||||
// Insert a DOM node after another node.
|
|
||||||
function insertAfter(newNode, oldNode) {
|
|
||||||
var parent = oldNode.parentNode;
|
|
||||||
parent.insertBefore(newNode, oldNode.nextSibling);
|
|
||||||
return newNode;
|
|
||||||
}
|
|
||||||
|
|
||||||
function removeElement(node) {
|
|
||||||
if (node.parentNode)
|
|
||||||
node.parentNode.removeChild(node);
|
|
||||||
}
|
|
||||||
|
|
||||||
function clearElement(node) {
|
|
||||||
while (node.firstChild)
|
|
||||||
node.removeChild(node.firstChild);
|
|
||||||
}
|
|
||||||
|
|
||||||
// Check whether a node is contained in another one.
|
|
||||||
function isAncestor(node, child) {
|
|
||||||
while (child = child.parentNode) {
|
|
||||||
if (node == child)
|
|
||||||
return true;
|
|
||||||
}
|
|
||||||
return false;
|
|
||||||
}
|
|
||||||
|
|
||||||
// The non-breaking space character.
|
|
||||||
var nbsp = "\u00a0";
|
|
||||||
var matching = {"{": "}", "[": "]", "(": ")",
|
|
||||||
"}": "{", "]": "[", ")": "("};
|
|
||||||
|
|
||||||
// Standardize a few unportable event properties.
|
|
||||||
function normalizeEvent(event) {
|
|
||||||
if (!event.stopPropagation) {
|
|
||||||
event.stopPropagation = function() {this.cancelBubble = true;};
|
|
||||||
event.preventDefault = function() {this.returnValue = false;};
|
|
||||||
}
|
|
||||||
if (!event.stop) {
|
|
||||||
event.stop = function() {
|
|
||||||
this.stopPropagation();
|
|
||||||
this.preventDefault();
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
if (event.type == "keypress") {
|
|
||||||
event.code = (event.charCode == null) ? event.keyCode : event.charCode;
|
|
||||||
event.character = String.fromCharCode(event.code);
|
|
||||||
}
|
|
||||||
return event;
|
|
||||||
}
|
|
||||||
|
|
||||||
// Portably register event handlers.
|
|
||||||
function addEventHandler(node, type, handler, removeFunc) {
|
|
||||||
function wrapHandler(event) {
|
|
||||||
handler(normalizeEvent(event || window.event));
|
|
||||||
}
|
|
||||||
if (typeof node.addEventListener == "function") {
|
|
||||||
node.addEventListener(type, wrapHandler, false);
|
|
||||||
if (removeFunc) return function() {node.removeEventListener(type, wrapHandler, false);};
|
|
||||||
}
|
|
||||||
else {
|
|
||||||
node.attachEvent("on" + type, wrapHandler);
|
|
||||||
if (removeFunc) return function() {node.detachEvent("on" + type, wrapHandler);};
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
function nodeText(node) {
|
|
||||||
return node.textContent || node.innerText || node.nodeValue || "";
|
|
||||||
}
|
|
||||||
|
|
||||||
function nodeTop(node) {
|
|
||||||
var top = 0;
|
|
||||||
while (node.offsetParent) {
|
|
||||||
top += node.offsetTop;
|
|
||||||
node = node.offsetParent;
|
|
||||||
}
|
|
||||||
return top;
|
|
||||||
}
|
|
||||||
|
|
||||||
function isBR(node) {
|
|
||||||
var nn = node.nodeName;
|
|
||||||
return nn == "BR" || nn == "br";
|
|
||||||
}
|
|
||||||
function isSpan(node) {
|
|
||||||
var nn = node.nodeName;
|
|
||||||
return nn == "SPAN" || nn == "span";
|
|
||||||
}
|
|
||||||
@@ -2,13 +2,6 @@ jQuery.noConflict();
|
|||||||
|
|
||||||
jQuery(document).ready(function(){
|
jQuery(document).ready(function(){
|
||||||
|
|
||||||
// var editor = CodeMirror.fromTextArea('content', {
|
|
||||||
// height: "350px",
|
|
||||||
// parserfile: "parsexml.js",
|
|
||||||
// stylesheet: "../wp-content/themes/roots/inc/css/codemirror/xmlcolors.css",
|
|
||||||
// path: "../wp-content/themes/roots/inc/js/codemirror/",
|
|
||||||
// continuousScanning: 500,
|
|
||||||
// lineNumbers: false
|
|
||||||
// });
|
|
||||||
|
|
||||||
});
|
});
|
||||||
@@ -7,9 +7,6 @@ function roots_admin_init() {
|
|||||||
$home_url = home_url();
|
$home_url = home_url();
|
||||||
$theme_name = next(explode('/themes/', get_template_directory()));
|
$theme_name = next(explode('/themes/', get_template_directory()));
|
||||||
|
|
||||||
//wp_register_script('roots_codemirror', "$home_url/wp-content/themes/roots/inc/js/codemirror/codemirror.js");
|
|
||||||
//wp_enqueue_script('roots_codemirror');
|
|
||||||
|
|
||||||
wp_register_style('roots_admin_css', "$home_url/wp-content/themes/$theme_name/inc/css/admin.css");
|
wp_register_style('roots_admin_css', "$home_url/wp-content/themes/$theme_name/inc/css/admin.css");
|
||||||
wp_enqueue_style('roots_admin_css');
|
wp_enqueue_style('roots_admin_css');
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user