{/* The welcome cards again, ending in Close (decision 0.5.132). */}
{howToPlay && setHowToPlay(false)} />}
{isDevBuild() && (
)}
);
}
function Section({ title, children }: { title: string; children: ReactNode }) {
const id = `settings-${title.toLowerCase()}`;
return (
{title}
{children}
);
}
/** A labelled radio group of a few options, styled as a segmented control. */
function Choice(props: {
label: string;
value: T;
options: [T, string][];
onChange: (value: T) => void;
}) {
return (
);
}