(value: unknown)
| 79 | } |
| 80 | |
| 81 | function storedView(value: unknown): DiffView | undefined { |
| 82 | if (value === "split" || value === "unified") return value |
| 83 | } |
| 84 | |
| 85 | function diffSourceLabel(mode: DiffMode) { |
| 86 | if (mode === "last-turn") return "last turn" |