tianheng-ui 0.0.56 → 0.0.57

package/lib/{c755e7fc08446566ee8dd3a8aa8fe43f.js → 2d84c80112a372bc149cad3464e90fa3.js}

@@ -21,11 +21,11 @@ window.ace = window;
 window.onerror = function(message, file, line, col, err) {
     postMessage({type: "error", data: {
         message: message,
-        data: err.data,
+        data: err && err.data,
         file: file,
         line: line, 
         col: col,
-        stack: err.stack
+        stack: err && err.stack
     }});
 };
 
@@ -153,10 +153,10 @@ window.define = function(id, deps, factory) {
     };
 };
 window.define.amd = {};
-require.tlns = {};
+window.require.tlns = {};
 window.initBaseUrls  = function initBaseUrls(topLevelNamespaces) {
     for (var i in topLevelNamespaces)
-        require.tlns[i] = topLevelNamespaces[i];
+        this.require.tlns[i] = topLevelNamespaces[i];
 };
 
 window.initSender = function initSender() {
@@ -210,16 +210,14 @@ window.onmessage = function(e) {
     else if (msg.init) {
         window.initBaseUrls(msg.tlns);
         sender = window.sender = window.initSender();
-        var clazz = require(msg.module)[msg.classname];
+        var clazz = this.require(msg.module)[msg.classname];
         main = window.main = new clazz(sender);
     }
 };
 })(this);
 
-ace.define("ace/lib/oop",[], function(require, exports, module) {
-"use strict";
-
-exports.inherits = function(ctor, superCtor) {
+ace.define("ace/lib/oop",[], function(require, exports, module){"use strict";
+exports.inherits = function (ctor, superCtor) {
     ctor.super_ = superCtor;
     ctor.prototype = Object.create(superCtor.prototype, {
         constructor: {
@@ -230,501 +228,455 @@ exports.inherits = function(ctor, superCtor) {
         }
     });
 };
-
-exports.mixin = function(obj, mixin) {
+exports.mixin = function (obj, mixin) {
     for (var key in mixin) {
         obj[key] = mixin[key];
     }
     return obj;
 };
-
-exports.implement = function(proto, mixin) {
+exports.implement = function (proto, mixin) {
     exports.mixin(proto, mixin);
 };
 
 });
 
-ace.define("ace/range",[], function(require, exports, module) {
-"use strict";
-var comparePoints = function(p1, p2) {
+ace.define("ace/apply_delta",[], function(require, exports, module){"use strict";
+function throwDeltaError(delta, errorText) {
+    console.log("Invalid Delta:", delta);
+    throw "Invalid Delta: " + errorText;
+}
+function positionInDocument(docLines, position) {
+    return position.row >= 0 && position.row < docLines.length &&
+        position.column >= 0 && position.column <= docLines[position.row].length;
+}
+function validateDelta(docLines, delta) {
+    if (delta.action != "insert" && delta.action != "remove")
+        throwDeltaError(delta, "delta.action must be 'insert' or 'remove'");
+    if (!(delta.lines instanceof Array))
+        throwDeltaError(delta, "delta.lines must be an Array");
+    if (!delta.start || !delta.end)
+        throwDeltaError(delta, "delta.start/end must be an present");
+    var start = delta.start;
+    if (!positionInDocument(docLines, delta.start))
+        throwDeltaError(delta, "delta.start must be contained in document");
+    var end = delta.end;
+    if (delta.action == "remove" && !positionInDocument(docLines, end))
+        throwDeltaError(delta, "delta.end must contained in document for 'remove' actions");
+    var numRangeRows = end.row - start.row;
+    var numRangeLastLineChars = (end.column - (numRangeRows == 0 ? start.column : 0));
+    if (numRangeRows != delta.lines.length - 1 || delta.lines[numRangeRows].length != numRangeLastLineChars)
+        throwDeltaError(delta, "delta.range must match delta lines");
+}
+exports.applyDelta = function (docLines, delta, doNotValidate) {
+    var row = delta.start.row;
+    var startColumn = delta.start.column;
+    var line = docLines[row] || "";
+    switch (delta.action) {
+        case "insert":
+            var lines = delta.lines;
+            if (lines.length === 1) {
+                docLines[row] = line.substring(0, startColumn) + delta.lines[0] + line.substring(startColumn);
+            }
+            else {
+                var args = [row, 1].concat(delta.lines);
+                docLines.splice.apply(docLines, args);
+                docLines[row] = line.substring(0, startColumn) + docLines[row];
+                docLines[row + delta.lines.length - 1] += line.substring(startColumn);
+            }
+            break;
+        case "remove":
+            var endColumn = delta.end.column;
+            var endRow = delta.end.row;
+            if (row === endRow) {
+                docLines[row] = line.substring(0, startColumn) + line.substring(endColumn);
+            }
+            else {
+                docLines.splice(row, endRow - row + 1, line.substring(0, startColumn) + docLines[endRow].substring(endColumn));
+            }
+            break;
+    }
+};
+
+});
+
+ace.define("ace/lib/event_emitter",[], function(require, exports, module){"use strict";
+var EventEmitter = {};
+var stopPropagation = function () { this.propagationStopped = true; };
+var preventDefault = function () { this.defaultPrevented = true; };
+EventEmitter._emit =
+    EventEmitter._dispatchEvent = function (eventName, e) {
+        this._eventRegistry || (this._eventRegistry = {});
+        this._defaultHandlers || (this._defaultHandlers = {});
+        var listeners = this._eventRegistry[eventName] || [];
+        var defaultHandler = this._defaultHandlers[eventName];
+        if (!listeners.length && !defaultHandler)
+            return;
+        if (typeof e != "object" || !e)
+            e = {};
+        if (!e.type)
+            e.type = eventName;
+        if (!e.stopPropagation)
+            e.stopPropagation = stopPropagation;
+        if (!e.preventDefault)
+            e.preventDefault = preventDefault;
+        listeners = listeners.slice();
+        for (var i = 0; i < listeners.length; i++) {
+            listeners[i](e, this);
+            if (e.propagationStopped)
+                break;
+        }
+        if (defaultHandler && !e.defaultPrevented)
+            return defaultHandler(e, this);
+    };
+EventEmitter._signal = function (eventName, e) {
+    var listeners = (this._eventRegistry || {})[eventName];
+    if (!listeners)
+        return;
+    listeners = listeners.slice();
+    for (var i = 0; i < listeners.length; i++)
+        listeners[i](e, this);
+};
+EventEmitter.once = function (eventName, callback) {
+    var _self = this;
+    this.on(eventName, function newCallback() {
+        _self.off(eventName, newCallback);
+        callback.apply(null, arguments);
+    });
+    if (!callback) {
+        return new Promise(function (resolve) {
+            callback = resolve;
+        });
+    }
+};
+EventEmitter.setDefaultHandler = function (eventName, callback) {
+    var handlers = this._defaultHandlers;
+    if (!handlers)
+        handlers = this._defaultHandlers = { _disabled_: {} };
+    if (handlers[eventName]) {
+        var old = handlers[eventName];
+        var disabled = handlers._disabled_[eventName];
+        if (!disabled)
+            handlers._disabled_[eventName] = disabled = [];
+        disabled.push(old);
+        var i = disabled.indexOf(callback);
+        if (i != -1)
+            disabled.splice(i, 1);
+    }
+    handlers[eventName] = callback;
+};
+EventEmitter.removeDefaultHandler = function (eventName, callback) {
+    var handlers = this._defaultHandlers;
+    if (!handlers)
+        return;
+    var disabled = handlers._disabled_[eventName];
+    if (handlers[eventName] == callback) {
+        if (disabled)
+            this.setDefaultHandler(eventName, disabled.pop());
+    }
+    else if (disabled) {
+        var i = disabled.indexOf(callback);
+        if (i != -1)
+            disabled.splice(i, 1);
+    }
+};
+EventEmitter.on =
+    EventEmitter.addEventListener = function (eventName, callback, capturing) {
+        this._eventRegistry = this._eventRegistry || {};
+        var listeners = this._eventRegistry[eventName];
+        if (!listeners)
+            listeners = this._eventRegistry[eventName] = [];
+        if (listeners.indexOf(callback) == -1)
+            listeners[capturing ? "unshift" : "push"](callback);
+        return callback;
+    };
+EventEmitter.off =
+    EventEmitter.removeListener =
+        EventEmitter.removeEventListener = function (eventName, callback) {
+            this._eventRegistry = this._eventRegistry || {};
+            var listeners = this._eventRegistry[eventName];
+            if (!listeners)
+                return;
+            var index = listeners.indexOf(callback);
+            if (index !== -1)
+                listeners.splice(index, 1);
+        };
+EventEmitter.removeAllListeners = function (eventName) {
+    if (!eventName)
+        this._eventRegistry = this._defaultHandlers = undefined;
+    if (this._eventRegistry)
+        this._eventRegistry[eventName] = undefined;
+    if (this._defaultHandlers)
+        this._defaultHandlers[eventName] = undefined;
+};
+exports.EventEmitter = EventEmitter;
+
+});
+
+ace.define("ace/range",[], function(require, exports, module){"use strict";
+var comparePoints = function (p1, p2) {
     return p1.row - p2.row || p1.column - p2.column;
 };
-var Range = function(startRow, startColumn, endRow, endColumn) {
+var Range = function (startRow, startColumn, endRow, endColumn) {
     this.start = {
         row: startRow,
         column: startColumn
     };
-
     this.end = {
         row: endRow,
         column: endColumn
     };
 };
-
-(function() {
-    this.isEqual = function(range) {
+(function () {
+    this.isEqual = function (range) {
         return this.start.row === range.start.row &&
             this.end.row === range.end.row &&
             this.start.column === range.start.column &&
             this.end.column === range.end.column;
     };
-    this.toString = function() {
+    this.toString = function () {
         return ("Range: [" + this.start.row + "/" + this.start.column +
             "] -> [" + this.end.row + "/" + this.end.column + "]");
     };
-
-    this.contains = function(row, column) {
+    this.contains = function (row, column) {
         return this.compare(row, column) == 0;
     };
-    this.compareRange = function(range) {
-        var cmp,
-            end = range.end,
-            start = range.start;
-
+    this.compareRange = function (range) {
+        var cmp, end = range.end, start = range.start;
         cmp = this.compare(end.row, end.column);
         if (cmp == 1) {
             cmp = this.compare(start.row, start.column);
             if (cmp == 1) {
                 return 2;
-            } else if (cmp == 0) {
+            }
+            else if (cmp == 0) {
                 return 1;
-            } else {
+            }
+            else {
                 return 0;
             }
-        } else if (cmp == -1) {
+        }
+        else if (cmp == -1) {
             return -2;
-        } else {
+        }
+        else {
             cmp = this.compare(start.row, start.column);
             if (cmp == -1) {
                 return -1;
-            } else if (cmp == 1) {
+            }
+            else if (cmp == 1) {
                 return 42;
-            } else {
+            }
+            else {
                 return 0;
             }
         }
     };
-    this.comparePoint = function(p) {
+    this.comparePoint = function (p) {
         return this.compare(p.row, p.column);
     };
-    this.containsRange = function(range) {
+    this.containsRange = function (range) {
         return this.comparePoint(range.start) == 0 && this.comparePoint(range.end) == 0;
     };
-    this.intersects = function(range) {
+    this.intersects = function (range) {
         var cmp = this.compareRange(range);
         return (cmp == -1 || cmp == 0 || cmp == 1);
     };
-    this.isEnd = function(row, column) {
+    this.isEnd = function (row, column) {
         return this.end.row == row && this.end.column == column;
     };
-    this.isStart = function(row, column) {
+    this.isStart = function (row, column) {
         return this.start.row == row && this.start.column == column;
     };
-    this.setStart = function(row, column) {
+    this.setStart = function (row, column) {
         if (typeof row == "object") {
             this.start.column = row.column;
             this.start.row = row.row;
-        } else {
+        }
+        else {
             this.start.row = row;
             this.start.column = column;
         }
     };
-    this.setEnd = function(row, column) {
+    this.setEnd = function (row, column) {
         if (typeof row == "object") {
             this.end.column = row.column;
             this.end.row = row.row;
-        } else {
+        }
+        else {
             this.end.row = row;
             this.end.column = column;
         }
     };
-    this.inside = function(row, column) {
+    this.inside = function (row, column) {
         if (this.compare(row, column) == 0) {
             if (this.isEnd(row, column) || this.isStart(row, column)) {
                 return false;
-            } else {
+            }
+            else {
                 return true;
             }
         }
         return false;
     };
-    this.insideStart = function(row, column) {
+    this.insideStart = function (row, column) {
         if (this.compare(row, column) == 0) {
             if (this.isEnd(row, column)) {
                 return false;
-            } else {
+            }
+            else {
                 return true;
             }
         }
         return false;
     };
-    this.insideEnd = function(row, column) {
+    this.insideEnd = function (row, column) {
         if (this.compare(row, column) == 0) {
             if (this.isStart(row, column)) {
                 return false;
-            } else {
+            }
+            else {
                 return true;
             }
         }
         return false;
     };
-    this.compare = function(row, column) {
+    this.compare = function (row, column) {
         if (!this.isMultiLine()) {
             if (row === this.start.row) {
                 return column < this.start.column ? -1 : (column > this.end.column ? 1 : 0);
             }
         }
-
         if (row < this.start.row)
             return -1;
-
         if (row > this.end.row)
             return 1;
-
         if (this.start.row === row)
             return column >= this.start.column ? 0 : -1;
-
         if (this.end.row === row)
             return column <= this.end.column ? 0 : 1;
-
         return 0;
     };
-    this.compareStart = function(row, column) {
+    this.compareStart = function (row, column) {
         if (this.start.row == row && this.start.column == column) {
             return -1;
-        } else {
+        }
+        else {
             return this.compare(row, column);
         }
     };
-    this.compareEnd = function(row, column) {
+    this.compareEnd = function (row, column) {
         if (this.end.row == row && this.end.column == column) {
             return 1;
-        } else {
+        }
+        else {
             return this.compare(row, column);
         }
     };
-    this.compareInside = function(row, column) {
+    this.compareInside = function (row, column) {
         if (this.end.row == row && this.end.column == column) {
             return 1;
-        } else if (this.start.row == row && this.start.column == column) {
+        }
+        else if (this.start.row == row && this.start.column == column) {
             return -1;
-        } else {
+        }
+        else {
             return this.compare(row, column);
         }
     };
-    this.clipRows = function(firstRow, lastRow) {
+    this.clipRows = function (firstRow, lastRow) {
         if (this.end.row > lastRow)
-            var end = {row: lastRow + 1, column: 0};
+            var end = { row: lastRow + 1, column: 0 };
         else if (this.end.row < firstRow)
-            var end = {row: firstRow, column: 0};
-
+            var end = { row: firstRow, column: 0 };
         if (this.start.row > lastRow)
-            var start = {row: lastRow + 1, column: 0};
+            var start = { row: lastRow + 1, column: 0 };
         else if (this.start.row < firstRow)
-            var start = {row: firstRow, column: 0};
-
+            var start = { row: firstRow, column: 0 };
         return Range.fromPoints(start || this.start, end || this.end);
     };
-    this.extend = function(row, column) {
+    this.extend = function (row, column) {
         var cmp = this.compare(row, column);
-
         if (cmp == 0)
             return this;
         else if (cmp == -1)
-            var start = {row: row, column: column};
+            var start = { row: row, column: column };
         else
-            var end = {row: row, column: column};
-
+            var end = { row: row, column: column };
         return Range.fromPoints(start || this.start, end || this.end);
     };
-
-    this.isEmpty = function() {
+    this.isEmpty = function () {
         return (this.start.row === this.end.row && this.start.column === this.end.column);
     };
-    this.isMultiLine = function() {
+    this.isMultiLine = function () {
         return (this.start.row !== this.end.row);
     };
-    this.clone = function() {
+    this.clone = function () {
         return Range.fromPoints(this.start, this.end);
     };
-    this.collapseRows = function() {
+    this.collapseRows = function () {
         if (this.end.column == 0)
-            return new Range(this.start.row, 0, Math.max(this.start.row, this.end.row-1), 0);
+            return new Range(this.start.row, 0, Math.max(this.start.row, this.end.row - 1), 0);
         else
             return new Range(this.start.row, 0, this.end.row, 0);
     };
-    this.toScreenRange = function(session) {
+    this.toScreenRange = function (session) {
         var screenPosStart = session.documentToScreenPosition(this.start);
         var screenPosEnd = session.documentToScreenPosition(this.end);
-
-        return new Range(
-            screenPosStart.row, screenPosStart.column,
-            screenPosEnd.row, screenPosEnd.column
-        );
+        return new Range(screenPosStart.row, screenPosStart.column, screenPosEnd.row, screenPosEnd.column);
     };
-    this.moveBy = function(row, column) {
+    this.moveBy = function (row, column) {
         this.start.row += row;
         this.start.column += column;
         this.end.row += row;
         this.end.column += column;
     };
-
 }).call(Range.prototype);
-Range.fromPoints = function(start, end) {
+Range.fromPoints = function (start, end) {
     return new Range(start.row, start.column, end.row, end.column);
 };
 Range.comparePoints = comparePoints;
-
-Range.comparePoints = function(p1, p2) {
+Range.comparePoints = function (p1, p2) {
     return p1.row - p2.row || p1.column - p2.column;
 };
-
-
 exports.Range = Range;
-});
-
-ace.define("ace/apply_delta",[], function(require, exports, module) {
-"use strict";
-
-function throwDeltaError(delta, errorText){
-    console.log("Invalid Delta:", delta);
-    throw "Invalid Delta: " + errorText;
-}
-
-function positionInDocument(docLines, position) {
-    return position.row    >= 0 && position.row    <  docLines.length &&
-           position.column >= 0 && position.column <= docLines[position.row].length;
-}
-
-function validateDelta(docLines, delta) {
-    if (delta.action != "insert" && delta.action != "remove")
-        throwDeltaError(delta, "delta.action must be 'insert' or 'remove'");
-    if (!(delta.lines instanceof Array))
-        throwDeltaError(delta, "delta.lines must be an Array");
-    if (!delta.start || !delta.end)
-       throwDeltaError(delta, "delta.start/end must be an present");
-    var start = delta.start;
-    if (!positionInDocument(docLines, delta.start))
-        throwDeltaError(delta, "delta.start must be contained in document");
-    var end = delta.end;
-    if (delta.action == "remove" && !positionInDocument(docLines, end))
-        throwDeltaError(delta, "delta.end must contained in document for 'remove' actions");
-    var numRangeRows = end.row - start.row;
-    var numRangeLastLineChars = (end.column - (numRangeRows == 0 ? start.column : 0));
-    if (numRangeRows != delta.lines.length - 1 || delta.lines[numRangeRows].length != numRangeLastLineChars)
-        throwDeltaError(delta, "delta.range must match delta lines");
-}
-
-exports.applyDelta = function(docLines, delta, doNotValidate) {
-    
-    var row = delta.start.row;
-    var startColumn = delta.start.column;
-    var line = docLines[row] || "";
-    switch (delta.action) {
-        case "insert":
-            var lines = delta.lines;
-            if (lines.length === 1) {
-                docLines[row] = line.substring(0, startColumn) + delta.lines[0] + line.substring(startColumn);
-            } else {
-                var args = [row, 1].concat(delta.lines);
-                docLines.splice.apply(docLines, args);
-                docLines[row] = line.substring(0, startColumn) + docLines[row];
-                docLines[row + delta.lines.length - 1] += line.substring(startColumn);
-            }
-            break;
-        case "remove":
-            var endColumn = delta.end.column;
-            var endRow = delta.end.row;
-            if (row === endRow) {
-                docLines[row] = line.substring(0, startColumn) + line.substring(endColumn);
-            } else {
-                docLines.splice(
-                    row, endRow - row + 1,
-                    line.substring(0, startColumn) + docLines[endRow].substring(endColumn)
-                );
-            }
-            break;
-    }
-};
-});
-
-ace.define("ace/lib/event_emitter",[], function(require, exports, module) {
-"use strict";
-
-var EventEmitter = {};
-var stopPropagation = function() { this.propagationStopped = true; };
-var preventDefault = function() { this.defaultPrevented = true; };
-
-EventEmitter._emit =
-EventEmitter._dispatchEvent = function(eventName, e) {
-    this._eventRegistry || (this._eventRegistry = {});
-    this._defaultHandlers || (this._defaultHandlers = {});
-
-    var listeners = this._eventRegistry[eventName] || [];
-    var defaultHandler = this._defaultHandlers[eventName];
-    if (!listeners.length && !defaultHandler)
-        return;
-
-    if (typeof e != "object" || !e)
-        e = {};
-
-    if (!e.type)
-        e.type = eventName;
-    if (!e.stopPropagation)
-        e.stopPropagation = stopPropagation;
-    if (!e.preventDefault)
-        e.preventDefault = preventDefault;
-
-    listeners = listeners.slice();
-    for (var i=0; i<listeners.length; i++) {
-        listeners[i](e, this);
-        if (e.propagationStopped)
-            break;
-    }
-    
-    if (defaultHandler && !e.defaultPrevented)
-        return defaultHandler(e, this);
-};
-
-
-EventEmitter._signal = function(eventName, e) {
-    var listeners = (this._eventRegistry || {})[eventName];
-    if (!listeners)
-        return;
-    listeners = listeners.slice();
-    for (var i=0; i<listeners.length; i++)
-        listeners[i](e, this);
-};
-
-EventEmitter.once = function(eventName, callback) {
-    var _self = this;
-    this.on(eventName, function newCallback() {
-        _self.off(eventName, newCallback);
-        callback.apply(null, arguments);
-    });
-    if (!callback) {
-        return new Promise(function(resolve) {
-            callback = resolve;
-        });
-    }
-};
-
-
-EventEmitter.setDefaultHandler = function(eventName, callback) {
-    var handlers = this._defaultHandlers;
-    if (!handlers)
-        handlers = this._defaultHandlers = {_disabled_: {}};
-    
-    if (handlers[eventName]) {
-        var old = handlers[eventName];
-        var disabled = handlers._disabled_[eventName];
-        if (!disabled)
-            handlers._disabled_[eventName] = disabled = [];
-        disabled.push(old);
-        var i = disabled.indexOf(callback);
-        if (i != -1) 
-            disabled.splice(i, 1);
-    }
-    handlers[eventName] = callback;
-};
-EventEmitter.removeDefaultHandler = function(eventName, callback) {
-    var handlers = this._defaultHandlers;
-    if (!handlers)
-        return;
-    var disabled = handlers._disabled_[eventName];
-    
-    if (handlers[eventName] == callback) {
-        if (disabled)
-            this.setDefaultHandler(eventName, disabled.pop());
-    } else if (disabled) {
-        var i = disabled.indexOf(callback);
-        if (i != -1)
-            disabled.splice(i, 1);
-    }
-};
-
-EventEmitter.on =
-EventEmitter.addEventListener = function(eventName, callback, capturing) {
-    this._eventRegistry = this._eventRegistry || {};
-
-    var listeners = this._eventRegistry[eventName];
-    if (!listeners)
-        listeners = this._eventRegistry[eventName] = [];
-
-    if (listeners.indexOf(callback) == -1)
-        listeners[capturing ? "unshift" : "push"](callback);
-    return callback;
-};
-
-EventEmitter.off =
-EventEmitter.removeListener =
-EventEmitter.removeEventListener = function(eventName, callback) {
-    this._eventRegistry = this._eventRegistry || {};
-
-    var listeners = this._eventRegistry[eventName];
-    if (!listeners)
-        return;
-
-    var index = listeners.indexOf(callback);
-    if (index !== -1)
-        listeners.splice(index, 1);
-};
-
-EventEmitter.removeAllListeners = function(eventName) {
-    if (!eventName) this._eventRegistry = this._defaultHandlers = undefined;
-    if (this._eventRegistry) this._eventRegistry[eventName] = undefined;
-    if (this._defaultHandlers) this._defaultHandlers[eventName] = undefined;
-};
-
-exports.EventEmitter = EventEmitter;
 
 });
 
-ace.define("ace/anchor",[], function(require, exports, module) {
-"use strict";
-
+ace.define("ace/anchor",[], function(require, exports, module){"use strict";
 var oop = require("./lib/oop");
 var EventEmitter = require("./lib/event_emitter").EventEmitter;
-
-var Anchor = exports.Anchor = function(doc, row, column) {
+var Anchor = exports.Anchor = function (doc, row, column) {
     this.$onChange = this.onChange.bind(this);
     this.attach(doc);
-    
     if (typeof column == "undefined")
         this.setPosition(row.row, row.column);
     else
         this.setPosition(row, column);
 };
-
-(function() {
-
+(function () {
     oop.implement(this, EventEmitter);
-    this.getPosition = function() {
+    this.getPosition = function () {
         return this.$clipPositionToDocument(this.row, this.column);
     };
-    this.getDocument = function() {
+    this.getDocument = function () {
         return this.document;
     };
     this.$insertRight = false;
-    this.onChange = function(delta) {
+    this.onChange = function (delta) {
         if (delta.start.row == delta.end.row && delta.start.row != this.row)
             return;
-
         if (delta.start.row > this.row)
             return;
-            
-        var point = $getTransformedPoint(delta, {row: this.row, column: this.column}, this.$insertRight);
+        var point = $getTransformedPoint(delta, { row: this.row, column: this.column }, this.$insertRight);
         this.setPosition(point.row, point.column, true);
     };
-    
     function $pointsInOrder(point1, point2, equalPointsInOrder) {
         var bColIsAfter = equalPointsInOrder ? point1.column <= point2.column : point1.column < point2.column;
         return (point1.row < point2.row) || (point1.row == point2.row && bColIsAfter);
     }
-            
     function $getTransformedPoint(delta, point, moveIfEqual) {
         var deltaIsInsert = delta.action == "insert";
-        var deltaRowShift = (deltaIsInsert ? 1 : -1) * (delta.end.row    - delta.start.row);
+        var deltaRowShift = (deltaIsInsert ? 1 : -1) * (delta.end.row - delta.start.row);
         var deltaColShift = (deltaIsInsert ? 1 : -1) * (delta.end.column - delta.start.column);
         var deltaStart = delta.start;
         var deltaEnd = deltaIsInsert ? deltaStart : delta.end; // Collapse insert range.
@@ -740,31 +692,28 @@ var Anchor = exports.Anchor = function(doc, row, column) {
                 column: point.column + (point.row == deltaEnd.row ? deltaColShift : 0)
             };
         }
-        
         return {
             row: deltaStart.row,
             column: deltaStart.column
         };
     }
-    this.setPosition = function(row, column, noClip) {
+    this.setPosition = function (row, column, noClip) {
         var pos;
         if (noClip) {
             pos = {
                 row: row,
                 column: column
             };
-        } else {
+        }
+        else {
             pos = this.$clipPositionToDocument(row, column);
         }
-
         if (this.row == pos.row && this.column == pos.column)
             return;
-
         var old = {
             row: this.row,
             column: this.column
         };
-
         this.row = pos.row;
         this.column = pos.column;
         this._signal("change", {
@@ -772,16 +721,15 @@ var Anchor = exports.Anchor = function(doc, row, column) {
             value: pos
         });
     };
-    this.detach = function() {
+    this.detach = function () {
         this.document.off("change", this.$onChange);
     };
-    this.attach = function(doc) {
+    this.attach = function (doc) {
         this.document = doc || this.document;
         this.document.on("change", this.$onChange);
     };
-    this.$clipPositionToDocument = function(row, column) {
+    this.$clipPositionToDocument = function (row, column) {
         var pos = {};
-
         if (row >= this.document.getLength()) {
             pos.row = Math.max(0, this.document.getLength() - 1);
             pos.column = this.document.getLine(pos.row).length;
@@ -794,113 +742,105 @@ var Anchor = exports.Anchor = function(doc, row, column) {
             pos.row = row;
             pos.column = Math.min(this.document.getLine(pos.row).length, Math.max(0, column));
         }
-
         if (column < 0)
             pos.column = 0;
-
         return pos;
     };
-
 }).call(Anchor.prototype);
 
 });
 
-ace.define("ace/document",[], function(require, exports, module) {
-"use strict";
-
+ace.define("ace/document",[], function(require, exports, module){"use strict";
 var oop = require("./lib/oop");
 var applyDelta = require("./apply_delta").applyDelta;
 var EventEmitter = require("./lib/event_emitter").EventEmitter;
 var Range = require("./range").Range;
 var Anchor = require("./anchor").Anchor;
-
-var Document = function(textOrLines) {
+var Document = function (textOrLines) {
     this.$lines = [""];
     if (textOrLines.length === 0) {
         this.$lines = [""];
-    } else if (Array.isArray(textOrLines)) {
-        this.insertMergedLines({row: 0, column: 0}, textOrLines);
-    } else {
-        this.insert({row: 0, column:0}, textOrLines);
+    }
+    else if (Array.isArray(textOrLines)) {
+        this.insertMergedLines({ row: 0, column: 0 }, textOrLines);
+    }
+    else {
+        this.insert({ row: 0, column: 0 }, textOrLines);
     }
 };
-
-(function() {
-
+(function () {
     oop.implement(this, EventEmitter);
-    this.setValue = function(text) {
+    this.setValue = function (text) {
         var len = this.getLength() - 1;
         this.remove(new Range(0, 0, len, this.getLine(len).length));
-        this.insert({row: 0, column: 0}, text);
+        this.insert({ row: 0, column: 0 }, text || "");
     };
-    this.getValue = function() {
+    this.getValue = function () {
         return this.getAllLines().join(this.getNewLineCharacter());
     };
-    this.createAnchor = function(row, column) {
+    this.createAnchor = function (row, column) {
         return new Anchor(this, row, column);
     };
     if ("aaa".split(/a/).length === 0) {
-        this.$split = function(text) {
+        this.$split = function (text) {
             return text.replace(/\r\n|\r/g, "\n").split("\n");
         };
-    } else {
-        this.$split = function(text) {
+    }
+    else {
+        this.$split = function (text) {
             return text.split(/\r\n|\r|\n/);
         };
     }
-
-
-    this.$detectNewLine = function(text) {
+    this.$detectNewLine = function (text) {
         var match = text.match(/^.*?(\r\n|\r|\n)/m);
         this.$autoNewLine = match ? match[1] : "\n";
         this._signal("changeNewLineMode");
     };
-    this.getNewLineCharacter = function() {
+    this.getNewLineCharacter = function () {
         switch (this.$newLineMode) {
-          case "windows":
-            return "\r\n";
-          case "unix":
-            return "\n";
-          default:
-            return this.$autoNewLine || "\n";
+            case "windows":
+                return "\r\n";
+            case "unix":
+                return "\n";
+            default:
+                return this.$autoNewLine || "\n";
         }
     };
-
     this.$autoNewLine = "";
     this.$newLineMode = "auto";
-    this.setNewLineMode = function(newLineMode) {
+    this.setNewLineMode = function (newLineMode) {
         if (this.$newLineMode === newLineMode)
             return;
-
         this.$newLineMode = newLineMode;
         this._signal("changeNewLineMode");
     };
-    this.getNewLineMode = function() {
+    this.getNewLineMode = function () {
         return this.$newLineMode;
     };
-    this.isNewLine = function(text) {
+    this.isNewLine = function (text) {
         return (text == "\r\n" || text == "\r" || text == "\n");
     };
-    this.getLine = function(row) {
+    this.getLine = function (row) {
         return this.$lines[row] || "";
     };
-    this.getLines = function(firstRow, lastRow) {
+    this.getLines = function (firstRow, lastRow) {
         return this.$lines.slice(firstRow, lastRow + 1);
     };
-    this.getAllLines = function() {
+    this.getAllLines = function () {
         return this.getLines(0, this.getLength());
     };
-    this.getLength = function() {
+    this.getLength = function () {
         return this.$lines.length;
     };
-    this.getTextRange = function(range) {
+    this.getTextRange = function (range) {
         return this.getLinesForRange(range).join(this.getNewLineCharacter());
     };
-    this.getLinesForRange = function(range) {
+    this.getLinesForRange = function (range) {
         var lines;
         if (range.start.row === range.end.row) {
             lines = [this.getLine(range.start.row).substring(range.start.column, range.end.column)];
-        } else {
+        }
+        else {
             lines = this.getLines(range.start.row, range.end.row);
             lines[0] = (lines[0] || "").substring(range.start.column);
             var l = lines.length - 1;
@@ -909,45 +849,43 @@ var Document = function(textOrLines) {
         }
         return lines;
     };
-    this.insertLines = function(row, lines) {
+    this.insertLines = function (row, lines) {
         console.warn("Use of document.insertLines is deprecated. Use the insertFullLines method instead.");
         return this.insertFullLines(row, lines);
     };
-    this.removeLines = function(firstRow, lastRow) {
+    this.removeLines = function (firstRow, lastRow) {
         console.warn("Use of document.removeLines is deprecated. Use the removeFullLines method instead.");
         return this.removeFullLines(firstRow, lastRow);
     };
-    this.insertNewLine = function(position) {
+    this.insertNewLine = function (position) {
         console.warn("Use of document.insertNewLine is deprecated. Use insertMergedLines(position, ['', '']) instead.");
         return this.insertMergedLines(position, ["", ""]);
     };
-    this.insert = function(position, text) {
+    this.insert = function (position, text) {
         if (this.getLength() <= 1)
             this.$detectNewLine(text);
-        
         return this.insertMergedLines(position, this.$split(text));
     };
-    this.insertInLine = function(position, text) {
+    this.insertInLine = function (position, text) {
         var start = this.clippedPos(position.row, position.column);
         var end = this.pos(position.row, position.column + text.length);
-        
         this.applyDelta({
             start: start,
             end: end,
             action: "insert",
             lines: [text]
         }, true);
-        
         return this.clonePos(end);
     };
-    
-    this.clippedPos = function(row, column) {
+    this.clippedPos = function (row, column) {
         var length = this.getLength();
         if (row === undefined) {
             row = length;
-        } else if (row < 0) {
+        }
+        else if (row < 0) {
             row = 0;
-        } else if (row >= length) {
+        }
+        else if (row >= length) {
             row = length - 1;
             column = undefined;
         }
@@ -955,93 +893,87 @@ var Document = function(textOrLines) {
         if (column == undefined)
             column = line.length;
         column = Math.min(Math.max(column, 0), line.length);
-        return {row: row, column: column};
+        return { row: row, column: column };
     };
-    
-    this.clonePos = function(pos) {
-        return {row: pos.row, column: pos.column};
+    this.clonePos = function (pos) {
+        return { row: pos.row, column: pos.column };
     };
-    
-    this.pos = function(row, column) {
-        return {row: row, column: column};
+    this.pos = function (row, column) {
+        return { row: row, column: column };
     };
-    
-    this.$clipPosition = function(position) {
+    this.$clipPosition = function (position) {
         var length = this.getLength();
         if (position.row >= length) {
             position.row = Math.max(0, length - 1);
             position.column = this.getLine(length - 1).length;
-        } else {
+        }
+        else {
             position.row = Math.max(0, position.row);
             position.column = Math.min(Math.max(position.column, 0), this.getLine(position.row).length);
         }
         return position;
     };
-    this.insertFullLines = function(row, lines) {
+    this.insertFullLines = function (row, lines) {
         row = Math.min(Math.max(row, 0), this.getLength());
         var column = 0;
         if (row < this.getLength()) {
             lines = lines.concat([""]);
             column = 0;
-        } else {
+        }
+        else {
             lines = [""].concat(lines);
             row--;
             column = this.$lines[row].length;
         }
-        this.insertMergedLines({row: row, column: column}, lines);
-    };    
-    this.insertMergedLines = function(position, lines) {
+        this.insertMergedLines({ row: row, column: column }, lines);
+    };
+    this.insertMergedLines = function (position, lines) {
         var start = this.clippedPos(position.row, position.column);
         var end = {
             row: start.row + lines.length - 1,
             column: (lines.length == 1 ? start.column : 0) + lines[lines.length - 1].length
         };
-        
         this.applyDelta({
             start: start,
             end: end,
             action: "insert",
             lines: lines
         });
-        
         return this.clonePos(end);
     };
-    this.remove = function(range) {
+    this.remove = function (range) {
         var start = this.clippedPos(range.start.row, range.start.column);
         var end = this.clippedPos(range.end.row, range.end.column);
         this.applyDelta({
             start: start,
             end: end,
             action: "remove",
-            lines: this.getLinesForRange({start: start, end: end})
+            lines: this.getLinesForRange({ start: start, end: end })
         });
         return this.clonePos(start);
     };
-    this.removeInLine = function(row, startColumn, endColumn) {
+    this.removeInLine = function (row, startColumn, endColumn) {
         var start = this.clippedPos(row, startColumn);
         var end = this.clippedPos(row, endColumn);
-        
         this.applyDelta({
             start: start,
             end: end,
             action: "remove",
-            lines: this.getLinesForRange({start: start, end: end})
+            lines: this.getLinesForRange({ start: start, end: end })
         }, true);
-        
         return this.clonePos(start);
     };
-    this.removeFullLines = function(firstRow, lastRow) {
+    this.removeFullLines = function (firstRow, lastRow) {
         firstRow = Math.min(Math.max(0, firstRow), this.getLength() - 1);
-        lastRow  = Math.min(Math.max(0, lastRow ), this.getLength() - 1);
+        lastRow = Math.min(Math.max(0, lastRow), this.getLength() - 1);
         var deleteFirstNewLine = lastRow == this.getLength() - 1 && firstRow > 0;
-        var deleteLastNewLine  = lastRow  < this.getLength() - 1;
-        var startRow = ( deleteFirstNewLine ? firstRow - 1                  : firstRow                    );
-        var startCol = ( deleteFirstNewLine ? this.getLine(startRow).length : 0                           );
-        var endRow   = ( deleteLastNewLine  ? lastRow + 1                   : lastRow                     );
-        var endCol   = ( deleteLastNewLine  ? 0                             : this.getLine(endRow).length ); 
+        var deleteLastNewLine = lastRow < this.getLength() - 1;
+        var startRow = (deleteFirstNewLine ? firstRow - 1 : firstRow);
+        var startCol = (deleteFirstNewLine ? this.getLine(startRow).length : 0);
+        var endRow = (deleteLastNewLine ? lastRow + 1 : lastRow);
+        var endCol = (deleteLastNewLine ? 0 : this.getLine(endRow).length);
         var range = new Range(startRow, startCol, endRow, endCol);
         var deletedLines = this.$lines.slice(firstRow, lastRow + 1);
-        
         this.applyDelta({
             start: range.start,
             end: range.end,
@@ -1050,7 +982,7 @@ var Document = function(textOrLines) {
         });
         return deletedLines;
     };
-    this.removeNewLine = function(row) {
+    this.removeNewLine = function (row) {
         if (row < this.getLength() - 1 && row >= 0) {
             this.applyDelta({
                 start: this.pos(row, this.getLine(row).length),
@@ -1060,14 +992,13 @@ var Document = function(textOrLines) {
             });
         }
     };
-    this.replace = function(range, text) {
+    this.replace = function (range, text) {
         if (!(range instanceof Range))
             range = Range.fromPoints(range.start, range.end);
         if (text.length === 0 && range.isEmpty())
             return range.start;
         if (text == this.getTextRange(range))
             return range.end;
-
         this.remove(range);
         var end;
         if (text) {
@@ -1076,26 +1007,24 @@ var Document = function(textOrLines) {
         else {
             end = range.start;
         }
-        
         return end;
     };
-    this.applyDeltas = function(deltas) {
-        for (var i=0; i<deltas.length; i++) {
+    this.applyDeltas = function (deltas) {
+        for (var i = 0; i < deltas.length; i++) {
             this.applyDelta(deltas[i]);
         }
     };
-    this.revertDeltas = function(deltas) {
-        for (var i=deltas.length-1; i>=0; i--) {
+    this.revertDeltas = function (deltas) {
+        for (var i = deltas.length - 1; i >= 0; i--) {
             this.revertDelta(deltas[i]);
         }
     };
-    this.applyDelta = function(delta, doNotValidate) {
+    this.applyDelta = function (delta, doNotValidate) {
         var isInsert = delta.action == "insert";
         if (isInsert ? delta.lines.length <= 1 && !delta.lines[0]
             : !Range.comparePoints(delta.start, delta.end)) {
             return;
         }
-        
         if (isInsert && delta.lines.length > 20000) {
             this.$splitAndapplyLargeDelta(delta, 20000);
         }
@@ -1104,21 +1033,17 @@ var Document = function(textOrLines) {
             this._signal("change", delta);
         }
     };
-    
-    this.$safeApplyDelta = function(delta) {
+    this.$safeApplyDelta = function (delta) {
         var docLength = this.$lines.length;
-        if (
-            delta.action == "remove" && delta.start.row < docLength && delta.end.row < docLength
-            || delta.action == "insert" && delta.start.row <= docLength
-        ) {
+        if (delta.action == "remove" && delta.start.row < docLength && delta.end.row < docLength
+            || delta.action == "insert" && delta.start.row <= docLength) {
             this.applyDelta(delta);
         }
     };
-    
-    this.$splitAndapplyLargeDelta = function(delta, MAX) {
+    this.$splitAndapplyLargeDelta = function (delta, MAX) {
         var lines = delta.lines;
         var l = lines.length - MAX + 1;
-        var row = delta.start.row; 
+        var row = delta.start.row;
         var column = delta.start.column;
         for (var from = 0, to = 0; from < l; from = to) {
             to += MAX - 1;
@@ -1136,7 +1061,7 @@ var Document = function(textOrLines) {
         delta.start.column = column;
         this.applyDelta(delta, true);
     };
-    this.revertDelta = function(delta) {
+    this.revertDelta = function (delta) {
         this.$safeApplyDelta({
             start: this.clonePos(delta.start),
             end: this.clonePos(delta.end),
@@ -1144,85 +1069,72 @@ var Document = function(textOrLines) {
             lines: delta.lines.slice()
         });
     };
-    this.indexToPosition = function(index, startRow) {
+    this.indexToPosition = function (index, startRow) {
         var lines = this.$lines || this.getAllLines();
         var newlineLength = this.getNewLineCharacter().length;
         for (var i = startRow || 0, l = lines.length; i < l; i++) {
             index -= lines[i].length + newlineLength;
             if (index < 0)
-                return {row: i, column: index + lines[i].length + newlineLength};
+                return { row: i, column: index + lines[i].length + newlineLength };
         }
-        return {row: l-1, column: index + lines[l-1].length + newlineLength};
+        return { row: l - 1, column: index + lines[l - 1].length + newlineLength };
     };
-    this.positionToIndex = function(pos, startRow) {
+    this.positionToIndex = function (pos, startRow) {
         var lines = this.$lines || this.getAllLines();
         var newlineLength = this.getNewLineCharacter().length;
         var index = 0;
         var row = Math.min(pos.row, lines.length);
         for (var i = startRow || 0; i < row; ++i)
             index += lines[i].length + newlineLength;
-
         return index + pos.column;
     };
-
 }).call(Document.prototype);
-
 exports.Document = Document;
-});
 
-ace.define("ace/lib/lang",[], function(require, exports, module) {
-"use strict";
+});
 
-exports.last = function(a) {
+ace.define("ace/lib/lang",[], function(require, exports, module){"use strict";
+exports.last = function (a) {
     return a[a.length - 1];
 };
-
-exports.stringReverse = function(string) {
+exports.stringReverse = function (string) {
     return string.split("").reverse().join("");
 };
-
 exports.stringRepeat = function (string, count) {
     var result = '';
     while (count > 0) {
         if (count & 1)
             result += string;
-
         if (count >>= 1)
             string += string;
     }
     return result;
 };
-
 var trimBeginRegexp = /^\s\s*/;
 var trimEndRegexp = /\s\s*$/;
-
 exports.stringTrimLeft = function (string) {
     return string.replace(trimBeginRegexp, '');
 };
-
 exports.stringTrimRight = function (string) {
     return string.replace(trimEndRegexp, '');
 };
-
-exports.copyObject = function(obj) {
+exports.copyObject = function (obj) {
     var copy = {};
     for (var key in obj) {
         copy[key] = obj[key];
     }
     return copy;
 };
-
-exports.copyArray = function(array){
+exports.copyArray = function (array) {
     var copy = [];
-    for (var i=0, l=array.length; i<l; i++) {
+    for (var i = 0, l = array.length; i < l; i++) {
         if (array[i] && typeof array[i] == "object")
             copy[i] = this.copyObject(array[i]);
-        else 
+        else
             copy[i] = array[i];
     }
     return copy;
 };
-
 exports.deepCopy = function deepCopy(obj) {
     if (typeof obj !== "object" || !obj)
         return obj;
@@ -1236,132 +1148,109 @@ exports.deepCopy = function deepCopy(obj) {
     }
     if (Object.prototype.toString.call(obj) !== "[object Object]")
         return obj;
-    
     copy = {};
     for (var key in obj)
         copy[key] = deepCopy(obj[key]);
     return copy;
 };
-
-exports.arrayToMap = function(arr) {
+exports.arrayToMap = function (arr) {
     var map = {};
-    for (var i=0; i<arr.length; i++) {
+    for (var i = 0; i < arr.length; i++) {
         map[arr[i]] = 1;
     }
     return map;
-
 };
-
-exports.createMap = function(props) {
+exports.createMap = function (props) {
     var map = Object.create(null);
     for (var i in props) {
         map[i] = props[i];
     }
     return map;
 };
-exports.arrayRemove = function(array, value) {
-  for (var i = 0; i <= array.length; i++) {
-    if (value === array[i]) {
-      array.splice(i, 1);
+exports.arrayRemove = function (array, value) {
+    for (var i = 0; i <= array.length; i++) {
+        if (value === array[i]) {
+            array.splice(i, 1);
+        }
     }
-  }
 };
-
-exports.escapeRegExp = function(str) {
+exports.escapeRegExp = function (str) {
     return str.replace(/([.*+?^${}()|[\]\/\\])/g, '\\$1');
 };
-
-exports.escapeHTML = function(str) {
+exports.escapeHTML = function (str) {
     return ("" + str).replace(/&/g, "&#38;").replace(/"/g, "&#34;").replace(/'/g, "&#39;").replace(/</g, "&#60;");
 };
-
-exports.getMatchOffsets = function(string, regExp) {
+exports.getMatchOffsets = function (string, regExp) {
     var matches = [];
-
-    string.replace(regExp, function(str) {
+    string.replace(regExp, function (str) {
         matches.push({
-            offset: arguments[arguments.length-2],
+            offset: arguments[arguments.length - 2],
             length: str.length
         });
     });
-
     return matches;
 };
-exports.deferredCall = function(fcn) {
+exports.deferredCall = function (fcn) {
     var timer = null;
-    var callback = function() {
+    var callback = function () {
         timer = null;
         fcn();
     };
-
-    var deferred = function(timeout) {
+    var deferred = function (timeout) {
         deferred.cancel();
         timer = setTimeout(callback, timeout || 0);
         return deferred;
     };
-
     deferred.schedule = deferred;
-
-    deferred.call = function() {
+    deferred.call = function () {
         this.cancel();
         fcn();
         return deferred;
     };
-
-    deferred.cancel = function() {
+    deferred.cancel = function () {
         clearTimeout(timer);
         timer = null;
         return deferred;
     };
-    
-    deferred.isPending = function() {
+    deferred.isPending = function () {
         return timer;
     };
-
     return deferred;
 };
-
-
-exports.delayedCall = function(fcn, defaultTimeout) {
+exports.delayedCall = function (fcn, defaultTimeout) {
     var timer = null;
-    var callback = function() {
+    var callback = function () {
         timer = null;
         fcn();
     };
-
-    var _self = function(timeout) {
+    var _self = function (timeout) {
         if (timer == null)
             timer = setTimeout(callback, timeout || defaultTimeout);
     };
-
-    _self.delay = function(timeout) {
+    _self.delay = function (timeout) {
         timer && clearTimeout(timer);
         timer = setTimeout(callback, timeout || defaultTimeout);
     };
     _self.schedule = _self;
-
-    _self.call = function() {
+    _self.call = function () {
         this.cancel();
         fcn();
     };
-
-    _self.cancel = function() {
+    _self.cancel = function () {
         timer && clearTimeout(timer);
         timer = null;
     };
-
-    _self.isPending = function() {
+    _self.isPending = function () {
         return timer;
     };
-
     return _self;
 };
+
 });
 
 ace.define("ace/worker/mirror",[], function(require, exports, module) {
 "use strict";
 
-var Range = require("../range").Range;
 var Document = require("../document").Document;
 var lang = require("../lib/lang");
     
@@ -1378,11 +1267,24 @@ var Mirror = exports.Mirror = function(sender) {
             doc.applyDeltas(data);
         } else {
             for (var i = 0; i < data.length; i += 2) {
+                var d, err; 
                 if (Array.isArray(data[i+1])) {
-                    var d = {action: "insert", start: data[i], lines: data[i+1]};
+                    d = {action: "insert", start: data[i], lines: data[i+1]};
                 } else {
-                    var d = {action: "remove", start: data[i], end: data[i+1]};
+                    d = {action: "remove", start: data[i], end: data[i+1]};
                 }
+                
+                if ((d.action == "insert" ? d.start : d.end).row >= doc.$lines.length) {
+                    err = new Error("Invalid delta");
+                    err.data = {
+                        path: _self.$path,
+                        linesLength: doc.$lines.length,
+                        start: d.start,
+                        end: d.end
+                    };
+                    throw err;
+                }
+
                 doc.applyDelta(d, true);
             }
         }