Function fileDisplayPath

src/ui/staticDiffPager.ts:279–284

Use an arrow label for renamed files so static output keeps important path metadata.

(file: DiffFile)

/** Use an arrow label for renamed files so static output keeps important path metadata. */
function fileDisplayPath(file: DiffFile) {
  const previousPath = file.previousPath ?? file.metadata.prevName;
  return previousPath && previousPath !== file.path
    ? `${sanitizeTerminalLine(previousPath)} → ${sanitizeTerminalLine(file.path)}`
    : sanitizeTerminalLine(file.path);
}

function fileModeText(file: DiffFile) {
  if (