import React, { useState } from "react"; import { Options } from "./Options"; import { Modal } from "../../ui/React/Modal"; import Button from "@mui/material/Button"; import Box from "@mui/material/Box"; import Typography from "@mui/material/Typography"; import Select from "@mui/material/Select"; import Switch from "@mui/material/Switch"; import MenuItem from "@mui/material/MenuItem"; interface IProps { options: Options; save: (options: Options) => void; onClose: () => void; open: boolean; } export function OptionsModal(props: IProps): React.ReactElement { const [theme, setTheme] = useState(props.options.theme); const [insertSpaces, setInsertSpaces] = useState(props.options.insertSpaces); function save(): void { props.save({ theme: theme, insertSpaces: insertSpaces, }); props.onClose(); } return ( Theme: Use whitespace over tabs: setInsertSpaces(event.target.checked)} checked={insertSpaces} />
); }