| 68 | } |
| 69 | |
| 70 | function normalizeTui(data: Record<string, unknown>): |
| 71 | | { |
| 72 | scroll_speed: number | undefined |
| 73 | scroll_acceleration: { enabled: boolean } | undefined |
| 74 | diff_style: "auto" | "stacked" | undefined |
| 75 | } |
| 76 | | undefined { |
| 77 | const parsed = { |
| 78 | scroll_speed: Option.getOrUndefined(decodeScrollSpeed(data.scroll_speed)), |
| 79 | scroll_acceleration: Option.getOrUndefined(decodeScrollAcceleration(data.scroll_acceleration)), |
| 80 | diff_style: Option.getOrUndefined(decodeDiffStyle(data.diff_style)), |
| 81 | } |
| 82 | return parsed.scroll_speed === undefined && |
| 83 | parsed.diff_style === undefined && |
| 84 | parsed.scroll_acceleration === undefined |
| 85 | ? undefined |
| 86 | : parsed |
| 87 | } |
| 88 | |
| 89 | async function backupAndStripLegacy(file: string, source: string) { |
| 90 | const backup = file + ".tui-migration.bak" |