in src/widgets/history/diff.ts [48:83]
function addLines(
beforeLine: string,
afterLine: string,
beforeLineChanges?: CharacterRange[],
afterLineChanges?: CharacterRange[]
): void {
beforeLineChanges = beforeLineChanges || [];
afterLineChanges = afterLineChanges || [];
if (beforeLine === afterLine) {
diffLines.push({
text: beforeLine,
version: "both",
changeRanges: [],
index: diffLines.length
});
} else {
if (beforeLine != null) {
diffLines.push({
text: beforeLine,
version: "before",
changeRanges: beforeLineChanges.concat(),
index: diffLines.length
});
beforeLineChanges = [];
}
if (afterLine != null) {
diffLines.push({
text: afterLine,
version: "after",
changeRanges: afterLineChanges.concat(),
index: diffLines.length
});
afterLineChanges = [];
}
}
}