import { useTranslation } from 'react-i18next' import type { ProjectCompiler } from '../../../../../../types/project-settings' import { useEditorContext } from '../../../../shared/context/editor-context' import { useProjectSettingsContext } from '../../context/project-settings-context' import SettingsMenuSelect from './settings-menu-select' export default function SettingsCompiler() { const { t } = useTranslation() const { permissionsLevel } = useEditorContext() const { compiler, setCompiler } = useProjectSettingsContext() if (permissionsLevel === 'readOnly') { return null } return ( onChange={setCompiler} value={compiler} options={[ { value: 'pdflatex', label: 'pdfLaTeX', }, { value: 'latex', label: 'LaTeX', }, { value: 'xelatex', label: 'XeLaTeX', }, { value: 'lualatex', label: 'LuaLaTeX', }, ]} label={t('compiler')} name="compiler" /> ) }