function addLines()

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 = [];
      }
    }
  }