(function() {
/*** theme/session ***/
this.setSession = function(session) {
if (this.session) {
this.$detachSessionEventHandlers();
}
this.session = session;
if (this.session) {
this.chunks = this.session.chunks;
this.orig.setSession(session.orig);
this.edit.setSession(session.edit);
this.$attachSessionEventHandlers();
}
};
this.getSession = function() {
return this.session;
};
this.createSession = function() {
var session = new EditSession("");
session.setUndoManager(new UndoManager());
return session;
};
this.setTheme = function(theme) {
this.left.setTheme(theme);
};
this.getTheme = function() {
return this.left.getTheme();
};
this.onChangeTheme = function() {
this.right.setTheme(this.left.getTheme());
var theme = this.right.renderer.theme;
this.gutterEl.className = "ace_diff-gutter " + theme.cssClass;
dom.setCssClass(this.gutterEl, "ace_dark", theme.isDark);
};
this.resize = function() {
this.edit.resize();
this.orig.resize();
};
/*** compute diff ***/
this.getDmp = function() {
var dmp = new diff_match_patch();
return dmp;
};
this.onInput =
this.computeDiff = function() {
var val1 = this.left.session.doc.getAllLines();
var val2 = this.right.session.doc.getAllLines();
var dmp = this.getDmp();
var a = diff_linesToChars_(val1, val2);
var diff = dmp.diff_main(a.chars1, a.chars2, false);
var chunks = [];
var offset = {
left: 0,
right: 0
};
var lastChunk;
diff.forEach(function(chunk) {
var chunkType = chunk[0];
var length = chunk[1].length;
// oddly, occasionally the algorithm returns a diff with no changes made
if (length === 0) {
return;
}
if (chunkType === 0) {
offset.left += length;
offset.right += length;
lastChunk = null;
}
else if (chunkType === -1) {
if (lastChunk) {
lastChunk.origEnd = Math.max(offset.left + length, lastChunk.origEnd);
lastChunk.editEnd = Math.max(offset.right, lastChunk.editEnd);
} else {
chunks.push(lastChunk = {
origStart: offset.left,
origEnd: offset.left + length,
editStart: offset.right,
editEnd: offset.right,
});
}
offset.left += length;
}
else if (chunkType === 1) {
if (lastChunk) {
lastChunk.origEnd = Math.max(offset.left, lastChunk.origEnd);
lastChunk.editEnd = Math.max(offset.right + length, lastChunk.editEnd);
} else {
chunks.push(lastChunk = {
origStart: offset.left,
origEnd: offset.left,
editStart: offset.right,
editEnd: offset.right + length,
});
}
offset.right += length;
}
}, this);
chunks.forEach(function(diff) {
var inlineChanges = [];
var type = 0;
if (diff.origStart == diff.origEnd) {
type = 1;
} else if (diff.editStart == diff.editEnd) {
type = -1;
} else {
var inlineDiff = dmp.diff_main(
val1.slice(diff.origStart, diff.origEnd).join("\n"),
val2.slice(diff.editStart, diff.editEnd).join("\n")
);
dmp.diff_cleanupSemantic(inlineDiff);
inlineDiff.forEach(function(change) {
var text = change[1];
var lines = text.split("\n");
var rowCh = lines.length - 1;
var colCh = lines[rowCh].length;
var changeType = change[0];
if (text.length) {
inlineChanges.push([changeType, rowCh, colCh]);
// if (changeType) {
// if (!type) {
// type = changeType;
// } else if (type != changeType) {
// type = 2;
// }
// }
}
});
}
diff.inlineChanges = inlineChanges;
diff.type = type;
});
this.session.chunks = this.chunks = chunks;
// if we"re dealing with too many chunks, fail silently
if (this.chunks.length > this.options.maxDiffs) {
return;
}
if (this.$alignDiffs)
this.align();
this.left.renderer.updateBackMarkers();
this.right.renderer.updateBackMarkers();
};
/*** scroll locking ***/
this.align = function() {
var diffView = this;
function add(editor, w) {
editor.session.lineWidgets[w.row] = w;
editor.session.widgetManager.lineWidgets.push(w);
}
function init(editor) {
var session = editor.session;
if (!session.widgetManager) {
session.widgetManager = new LineWidgets(session);
session.widgetManager.attach(editor);
}
editor.session.lineWidgets = [];
editor.session.widgetManager.lineWidgets = [];
}
init(diffView.edit);
init(diffView.orig);
diffView.chunks.forEach(function(ch) {
var diff1 = ch.origEnd - ch.origStart;
var diff2 = ch.editEnd - ch.editStart;
if (diff1 < diff2) {
add(diffView.orig, {
rowCount: diff2 - diff1,
row: ch.origEnd - 1
});
}
else if (diff1 > diff2) {
add(diffView.edit, {
rowCount: diff1 - diff2,
row: ch.editEnd - 1
});
}
});
diffView.edit.session._emit("changeFold", { data: { start: { row: 0 } } });
diffView.orig.session._emit("changeFold", { data: { start: { row: 0 } } });
};
this.onScroll = function(e, session) {
this.syncScroll(this.left.session == session ? this.left.renderer : this.right.renderer);
};
this.syncScroll = function(renderer) {
if (this.$syncScroll == false) return;
var r1 = this.left.renderer;
var r2 = this.right.renderer;
var isOrig = renderer == r1;
if (r1.$scrollAnimation && r2.$scrollAnimation) return;
var now = Date.now();
if (this.scrollSetBy != renderer && now - this.scrollSetAt < 500) return;
var r = isOrig ? r1 : r2;
if (this.scrollSetBy != renderer) {
if (isOrig && this.scrollOrig == r.session.getScrollTop())
return;
else if (!isOrig && this.scrollEdit == r.session.getScrollTop())
return;
}
var rOther = isOrig ? r2 : r1;
if (this.$alignDiffs) {
targetPos = r.session.getScrollTop();
} else {
var layerConfig = r.layerConfig;
var chunks = this.chunks;
var halfScreen = 0.4 * r.$size.scrollerHeight;
var lc = layerConfig;
var midY = halfScreen + r.scrollTop;
var mid = r.session.screenToDocumentRow(midY / lc.lineHeight, 0);
var i = findChunkIndex(chunks, mid, isOrig);
var ch = chunks[i];
if (!ch) {
ch = {
editStart: 0,
editEnd: 0,
origStart: 0,
origEnd: 0
};
}
if (mid >= (isOrig ? ch.origEnd : ch.editEnd)) {
var next = chunks[i + 1] || {
editStart: r2.session.getLength(),
editEnd: r2.session.getLength(),
origStart: r1.session.getLength(),
origEnd: r1.session.getLength()
};
ch = {
origStart: ch.origEnd,
origEnd: next.origStart,
editStart: ch.editEnd,
editEnd: next.editStart
};
}
if (r == r1) {
var start = ch.origStart;
var end = ch.origEnd;
var otherStart = ch.editStart;
var otherEnd = ch.editEnd;
}
else {
otherStart = ch.origStart;
otherEnd = ch.origEnd;
start = ch.editStart;
end = ch.editEnd;
}
var offOtherTop = rOther.session.documentToScreenRow(otherStart, 0) * lc.lineHeight;
var offOtherBot = rOther.session.documentToScreenRow(otherEnd, 0) * lc.lineHeight;
var offTop = r.session.documentToScreenRow(start, 0) * lc.lineHeight;
var offBot = r.session.documentToScreenRow(end, 0) * lc.lineHeight;
var ratio = (midY - offTop) / (offBot - offTop || offOtherBot - offOtherTop);
var targetPos = (offOtherTop - halfScreen) + ratio * (offOtherBot - offOtherTop);
targetPos = Math.max(0, targetPos);
}
this.$syncScroll = false;
if (isOrig) {
this.scrollOrig = r.session.getScrollTop();
this.scrollEdit = targetPos;
}
else {
this.scrollOrig = targetPos;
this.scrollEdit = r.session.getScrollTop();
}
this.scrollSetBy = renderer;
rOther.session.setScrollTop(targetPos);
this.$syncScroll = true;
this.scrollSetAt = now;
};
this.onConnectorScroll = function(ev) {
var dir = ev.wheelY > 0 ? 1 : -1;
var r1 = this.left.renderer;
var r2 = this.right.renderer;
if (r1.$scrollAnimation && r2.$scrollAnimation) return;
var minAmount = ev.wheelY * 2;
var r = r1.session.getLength() > r2.session.getLength() ? r1 : r2;
var layerConfig = r.layerConfig;
var chunks = this.chunks;
var halfScreen = 0.5 * r.$size.scrollerHeight;
var lc = layerConfig;
var isOrig = r == r1;
var midY = halfScreen + r.scrollTop;
var mid = r.session.screenToDocumentRow(midY / lc.lineHeight, 0);
var i = findChunkIndex(chunks, mid, isOrig);
var ch = chunks[i];
if (dir < 0) {
if (!ch)
ch = {
editStart: 0,
editEnd: 0,
origStart: 0,
origEnd: 0
};
else if (mid < (isOrig ? ch.origEnd : ch.editEnd))
ch = chunks[i - 1] || ch;
else
ch = chunks[i];
}
else {
ch = chunks[i + 1] || {
editStart: r2.session.getLength(),
editEnd: r2.session.getLength(),
origStart: r1.session.getLength(),
origEnd: r1.session.getLength()
};
}
var scrollTop1 = r1.session.getScrollTop();
var scrollTop2 = r2.session.getScrollTop();
this.$syncScroll = false;
r1.scrollToLine(ch.origStart, true, true);
r2.scrollToLine(ch.editStart, true, true);
this.$syncScroll = true;
if (Math.abs(scrollTop1 - r1.session.getScrollTop()) <= 1
&& Math.abs(scrollTop2 - r2.session.getScrollTop()) <= 1
) {
if (r1.isScrollableBy(0, minAmount))
r1.scrollBy(0, minAmount);
}
};
this.onMouseWheel = function(ev) {
if (ev.getAccelKey())
return;
if (ev.getShiftKey() && ev.wheelY && !ev.wheelX) {
ev.wheelX = ev.wheelY;
ev.wheelY = 0;
}
var editor = ev.editor;
var isScrolable = editor.renderer.isScrollableBy(ev.wheelX * ev.speed, ev.wheelY * ev.speed);
if (!isScrolable) {
var other = editor == this.left ? this.right : this.left;
if (other.renderer.isScrollableBy(ev.wheelX * ev.speed, ev.wheelY * ev.speed))
other.renderer.scrollBy(ev.wheelX * ev.speed, ev.wheelY * ev.speed);
return ev.stop();
}
};
this.onChangeFold = function(ev, session) {
if (ev.action == "remove") {
var other = session == this.orig.session ? this.edit.session : this.orig.session;
var fold = ev.data;
if (fold && fold.other) {
fold.other.other = null;
other.removeFold(fold.other);
}
}
};
this.$attachSessionEventHandlers = function() {
this.left.session.on("changeScrollTop", this.onScroll);
this.right.session.on("changeScrollTop", this.onScroll);
this.left.session.on("changeFold", this.onChangeFold);
this.right.session.on("changeFold", this.onChangeFold);
this.left.session.addDynamicMarker(this.markerLeft);
this.right.session.addDynamicMarker(this.markerRight);
};
this.$detachSessionEventHandlers = function() {
this.left.session.off("changeScrollTop", this.onScroll);
this.right.session.off("changeScrollTop", this.onScroll);
this.left.session.off("changeFold", this.onChangeFold);
this.right.session.off("changeFold", this.onChangeFold);
this.left.session.removeMarker(this.markerLeft.id);
this.right.session.removeMarker(this.markerRight.id);
};
this.$attachEventHandlers = function() {
var _self = this;
this.left.renderer.on("themeLoaded", this.onChangeTheme);
this.right.renderer.on("afterRender", function() {
if (!_self.left.renderer.$loop.changes)
_self.connector.decorate();
});
this.left.renderer.on("afterRender", function() {
if (!_self.right.renderer.$loop.changes)
_self.connector.decorate();
});
event.addMouseWheelListener(this.gutterEl, this.onConnectorScroll);
this.left.on("mousewheel", this.onMouseWheel);
this.right.on("mousewheel", this.onMouseWheel);
this.left.on("input", this.onInput);
this.right.on("input", this.onInput);
};
this.$initArrow = function() {
var arrow = document.createElement("div");
this.gutterEl.appendChild(arrow);
var region = 0;
var diffView = this;
arrow.addEventListener("click", function(e) {
if (region && region.chunk) {
var range = diffView.useChunk(region.chunk, region.side == 1);
var editor = region.side == 1 ? diffView.orig : diffView.edit;
editor.selection.moveToPosition(range.start);
editor.focus();
}
hide();
});
this.gutterEl.addEventListener("mousemove", function(e) {
var rect = e.currentTarget.getBoundingClientRect();
var x = e.clientX - rect.left;
var y = e.clientY; // - rect.top;
if (!region) {
arrow.style.display = "";
region = {};
}
if (x < rect.width / 2) {
if (region.side != -1)
arrow.className = "diff-arrow diff-arrow-left";
region.side = -1;
} else {
if (region.side != 1)
arrow.className = "diff-arrow diff-arrow-right";
region.side = 1;
}
var editor = region.side == 1 ? diffView.edit : diffView.orig;
var other = editor == diffView.edit ? diffView.orig : diffView.edit;
var renderer = editor.renderer;
if (other.getReadOnly())
return hide();
var p = renderer.screenToTextCoordinates(x, y);
var row = p.row;
if (row == renderer.session.getLength() - 1)
row++;
var chunks = diffView.chunks;
var i = findChunkIndex(chunks, row, region.side == -1);
if (i == -1) i = 0;
var ch = chunks[i] || chunks[chunks.length - 1];
var next = chunks[i + 1];
var side = region.side == -1 ? "orig" : "edit";
if (next && ch) {
if (ch[side + "End"] + next[side + "Start"] < 2 * row)
ch = next;
}
region.chunk = ch;
if (!ch)
return hide();
if (renderer.layerConfig.firstRow > ch[side + "End"])
return hide();
if (renderer.layerConfig.lastRow < ch[side + "Start"] - 1)
return hide();
var screenPos = renderer.$cursorLayer.getPixelPosition({
row: ch[side + "Start"],
column: 0
}, true).top;
if (screenPos < renderer.layerConfig.offset)
screenPos = renderer.layerConfig.offset;
arrow.style.top = screenPos - renderer.layerConfig.offset + "px";
if (region.side == -1) {
arrow.style.left = "2px";
arrow.style.right = "";
} else {
arrow.style.left = "";
arrow.style.right = "2px";
}
}.bind(this));
this.gutterEl.addEventListener("mouseout", function(e) {
hide();
});
event.addMouseWheelListener(this.gutterEl, hide);
function hide() {
if (region) {
region = null;
arrow.style.display = "none";
}
}
};
/*** other ***/
this.destroy = function() {
this.left.destroy();
this.right.destroy();
};
this.foldUnchanged = function() {
this.edit.session.unfold();
this.orig.session.unfold();
var chunks = this.chunks;
var sep = "---";
var prev = { editEnd: 0, origEnd: 0 };
for (var i = 0; i < chunks.length + 1; i++) {
var ch = chunks[i] || {
editStart: this.edit.session.getLength(),
origStart: this.orig.session.getLength()
};
var l = ch.editStart - prev.editEnd - 5;
if (l > 2) {
var s = prev.origEnd + 2;
var f1 = this.orig.session.addFold(sep, new Range(s, 0, s + l, Number.MAX_VALUE));
s = prev.editEnd + 2;
var f2 = this.edit.session.addFold(sep, new Range(s, 0, s + l, Number.MAX_VALUE));
f1.other = f2;
f2.other = f1;
}
prev = ch;
}
};
this.gotoNext = function(dir) {
var orig = false;
var ace = orig ? this.orig : this.edit;
var row = ace.selection.lead.row;
var i = findChunkIndex(this.chunks, row, orig);
var chunk = this.chunks[i + dir] || this.chunks[i];
var scrollTop = ace.session.getScrollTop();
if (chunk) {
var line = Math.max(chunk.editStart, chunk.editEnd - 1);
ace.selection.setRange(new Range(line, 0, line, 0));
}
ace.renderer.scrollSelectionIntoView(ace.selection.lead, ace.selection.anchor, 0.5);
ace.renderer.animateScrolling(scrollTop);
};
this.transformPosition = function(pos, orig) {
var chunkIndex = findChunkIndex(this.chunks, pos.row, orig);
var chunk = this.chunks[chunkIndex];
return {
row: pos.row,
column: pos.column
};
};
this.useChunk = function(chunk, toOrig) {
var origRange = new Range(chunk.origStart, 0, chunk.origEnd, 0);
var editRange = new Range(chunk.editStart, 0, chunk.editEnd, 0);
var srcEditor = toOrig ? this.edit : this.orig;
var destEditor = toOrig ? this.orig : this.edit;
var destRange = toOrig ? origRange : editRange;
var srcRange = toOrig ? editRange : origRange;
var value = srcEditor.session.getTextRange(srcRange);
// missing eol at the end of document
if (srcRange.isEmpty() && !destRange.isEmpty()) {
if (destRange.end.row == destEditor.session.getLength()) {
destRange.start.row--;
destRange.start.column = Number.MAX_VALUE;
}
} else if (destRange.isEmpty() && !srcRange.isEmpty()) {
if (srcRange.end.row == srcEditor.session.getLength()) {
value = "\n" + value;
}
}
destRange.end = destEditor.session.replace(destRange, value);
return destRange;
};
this.transformRange = function(range, orig) {
return Range.fromPoints(
this.transformPosition(range.start, orig),
this.transformPosition(range.end, orig)
);
};
this.findChunkIndex = function(row, orig) {
return findChunkIndex(this.chunks, row, orig);
};
/*** patch ***/
this.createPatch = function(options) {
var chunks = this.chunks;
var editLines = this.edit.session.doc.getAllLines();
var origLines = this.orig.session.doc.getAllLines();
var path1 = options.path1 || options.path || "_";
var path2 = options.path2 || path1;
var patch = [
"diff --git a/" + path1 + " b/" + path2,
"--- a/" + path1,
"+++ b/" + path2,
].join("\n");
if (!chunks.length) {
chunks = [{
origStart: 0,
origEnd: 0,
editStart: 0,
editEnd: 0
}];
}
function header(s1, c1, s2, c2) {
return "@@ -" + (c1 ? s1 + 1 : s1) + "," + c1
+ " +" + (c2 ? s2 + 1 : s2) + "," + c2 + " @@";
}
var context = options.context || 0;
// changed newline at the end of file
var editEOF = !editLines[editLines.length - 1];
var origEOF = !origLines[origLines.length - 1];
if (editEOF)
editLines.pop();
if (origEOF)
origLines.pop();
if (editEOF != origEOF) {
chunks = chunks.slice();
var last = chunks.pop();
chunks.push(last = {
origStart: Math.min(last.origStart, origLines.length - 1),
origEnd: Math.min(last.origEnd, origLines.length),
editStart: Math.min(last.editStart, editLines.length - 1),
editEnd: Math.min(last.editEnd, editLines.length)
});
}
var hunk = "";
var start1 = 0;
var start2 = 0;
var end1 = 0;
var end2 = 0;
var length1 = 0;
var length2 = 0;
var mergeWithNext = false;
for (var i = 0; i < chunks.length; i++) {
var ch = chunks[i];
var s1 = ch.origStart;
var e1 = ch.origEnd;
var s2 = ch.editStart;
var e2 = ch.editEnd;
var next = chunks[i + 1];
start1 = Math.max(s1 - context, end1);
start2 = Math.max(s2 - context, end2);
end1 = Math.min(e1 + context, origLines.length);
end2 = Math.min(e2 + context, editLines.length);
mergeWithNext = false;
if (next) {
if (end1 >= next.origStart - context) {
end1 = next.origStart;
end2 = next.editStart;
mergeWithNext = true;
}
}
for (var j = start1; j < s1; j++)
hunk += "\n " + origLines[j];
for (var j = s1; j < e1; j++)
hunk += "\n-" + origLines[j];
if (ch == last && editEOF)
hunk += "\n\\ No newline at end of file";
for (var j = s2; j < e2; j++)
hunk += "\n+" + editLines[j];
if (ch == last && origEOF)
hunk += "\n\\ No newline at end of file";
for (var j = e1; j < end1; j++)
hunk += "\n " + origLines[j];
length1 += end1 - start1;
length2 += end2 - start2;
if (mergeWithNext)
continue;
patch += "\n" + header(end1 - length1, length1, end2 - length2, length2) + hunk;
length2 = length1 = 0;
hunk = "";
}
if (!editEOF && !origEOF && end1 == origLines.length) {
patch += "\n\\ No newline at end of file";
}
return patch;
};
this.setValueFromFullPatch = function(fullUniDiff) {
var lines = fullUniDiff.split("\n");
var missingEOF = "";
var oldLines = [];
var newLines = [];
var i = 0;
while (i < lines.length && !(/^@@/.test(lines[i])))
i++;
while (++i < lines.length) {
var tag = lines[i][0];
var line = lines[i].substr(1);
if (tag === "+") {
newLines.push(line);
}
else if (tag === "-") {
oldLines.push(line);
}
else if (tag === " ") {
newLines.push(line);
oldLines.push(line);
}
else if (tag === "\\") {
missingEOF = lines[i - 1][0];
}
}
if (missingEOF === "+") {
oldLines.push("");
}
else if (missingEOF === "-") {
newLines.push("");
}
else if (missingEOF === "") {
newLines.push("");
oldLines.push("");
}
this.orig.session.setValue(oldLines.join("\n"));
this.edit.session.setValue(newLines.join("\n"));
};
this.applyPatch = function(oldStr, uniDiff) {
var lines = uniDiff.split("\n");
var hunks = [];
var i = 0;
var EOFChanged = 0;
// Skip to the first change hunk
while (i < lines.length && !(/^@@/.test(lines[i]))) {
i++;
}
// Parse the unified diff
for (; i < lines.length; i++) {
var tag = lines[i][0];
var line = lines[i].substr(1);
if (tag === "@") {
var chunkHeader = /@@ -(\d+)(?:,(\d*))? \+(\d+)(?:,(\d*)) @@/.exec(line);
hunks.unshift({
start: +chunkHeader[1],
oldlength: +chunkHeader[2] || 1,
removed: [],
added: []
});
}
else if (tag === "+") {
hunks[0].added.push(line);
}
else if (tag === "-") {
hunks[0].removed.push(line);
}
else if (tag === " ") {
hunks[0].added.push(line);
hunks[0].removed.push(line);
}
else if (tag === "\\") {
if (lines[i - 1][0] === "+")
EOFChanged = 1;
else if (lines[i - 1][0] === "-")
EOFChanged = -1;
}
}
// Apply the diff to the input
lines = oldStr.split("\n");
for (i = hunks.length - 1; i >= 0; i--) {
var hunk = hunks[i];
// Sanity check the input string. Bail if we don't match.
for (var j = 0; j < hunk.oldlength; j++) {
if (lines[hunk.start - 1 + j] !== hunk.removed[j]) {
return false;
}
}
lines.splice.apply(lines, [hunk.start - 1, hunk.oldlength].concat(hunk.added));
}
// Handle EOFNL insertion/removal
if (EOFChanged == -1) {
while (!lines[lines.length - 1]) {
lines.pop();
}
}
else if (EOFChanged == 1) {
lines.push("");
}
return lines.join("\n");
};
/*** options ***/
config.defineOptions(this, "editor", {
alignDiffs: {
set: function(val) {
if (val)
this.align();
},
initialValue: false
},
});
}).call(DiffView.prototype);
return setTimeout(function() {onCaptureEnd(ev);});
}
self.$onCaptureMouseMove = onMouseMove;
self.releaseMouse = event.capture(this.editor.container, onMouseMove, onCaptureEnd);
var timerId = setInterval(onCaptureInterval, 20);
};
this.releaseMouse = null;
this.cancelContextMenu = function() {
var stop = function(e) {
if (e && e.domEvent && e.domEvent.type != "contextmenu")
return;
this.editor.off("nativecontextmenu", stop);
if (e && e.domEvent)
event.stopEvent(e.domEvent);
}.bind(this);
setTimeout(stop, 10);
this.editor.on("nativecontextmenu", stop);
};
}).call(MouseHandler.prototype);
config.defineOptions(MouseHandler.prototype, "mouseHandler", {
scrollSpeed: {initialValue: 2},
dragDelay: {initialValue: (useragent.isMac ? 150 : 0)},
dragEnabled: {initialValue: true},
focusTimout: {initialValue: 0},
tooltipFollowsMouse: {initialValue: true}
});
exports.MouseHandler = MouseHandler;