import { useProjectSettingsContext } from '@/features/editor-left-menu/context/project-settings-context' import DropdownSetting from '../dropdown-setting' import type { Option } from '../dropdown-setting' import { useTranslation } from 'react-i18next' import { usePermissionsContext } from '@/features/ide-react/context/permissions-context' import { ProjectCompiler } from '@ol-types/project-settings' import { useSetCompilationSettingWithEvent } from '@/features/editor-left-menu/hooks/use-set-compilation-setting' const OPTIONS: Option[] = [ { value: 'pdflatex', label: 'pdfLaTeX', }, { value: 'latex', label: 'LaTeX', }, { value: 'xelatex', label: 'XeLaTeX', }, { value: 'lualatex', label: 'LuaLaTeX', }, ] export default function CompilerSetting() { const { compiler, setCompiler } = useProjectSettingsContext() const { t } = useTranslation() const { write } = usePermissionsContext() const changeCompiler = useSetCompilationSettingWithEvent( 'compiler', setCompiler ) return ( ) }