(value: string | null | undefined)
| 1736 | </Box>; |
| 1737 | } |
| 1738 | function teammateModelDisplayString(value: string | null | undefined): string { |
| 1739 | if (value === undefined) { |
| 1740 | return modelDisplayString(getHardcodedTeammateModelFallback()); |
| 1741 | } |
| 1742 | if (value === null) return "Default (leader's model)"; |
| 1743 | return modelDisplayString(value); |
| 1744 | } |
| 1745 | const THEME_LABELS: Record<string, string> = { |
| 1746 | auto: 'Auto (match terminal)', |
| 1747 | dark: 'Dark mode', |
no test coverage detected