/** * The /language picker: one row per interface language, the active one * marked, arrow selection, Enter applies (persisting through the runner and * repainting the whole screen so Static-region text switches too). */ import { type ReactElement } from 'react'; import { type LanguageName } from '../i18n.ts'; export declare function LanguagePanel({ current, select, close }: { current: LanguageName; select: (name: LanguageName) => void; close: () => void; }): ReactElement;