Fix backwards name for indent option (#659)

This commit is contained in:
Snarling 2023-07-05 18:18:53 -04:00 committed by GitHub
parent e6eb35fabc
commit 26cdc502bf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -60,7 +60,7 @@ export function OptionsModal(props: OptionsModalProps): ReactElement {
</div>
<div style={{ display: "flex", alignItems: "center" }}>
<Typography marginRight={"auto"}>Indent using tabs: </Typography>
<Typography marginRight={"auto"}>Indent using spaces: </Typography>
<Switch
onChange={(e) => props.onOptionChange("insertSpaces", e.target.checked)}
checked={props.options.insertSpaces}