(value: string | null | undefined)
| 1788 | </Box>; |
| 1789 | } |
| 1790 | function teammateModelDisplayString(value: string | null | undefined): string { |
| 1791 | if (value === undefined) { |
| 1792 | return modelDisplayString(getHardcodedTeammateModelFallback()); |
| 1793 | } |
| 1794 | if (value === null) return "Default (leader's model)"; |
| 1795 | return modelDisplayString(value); |
| 1796 | } |
| 1797 | const THEME_LABELS: Record<string, string> = { |
| 1798 | auto: 'Auto (match terminal)', |
| 1799 | dark: 'Dark mode', |
no test coverage detected