From 26cdc502bf3105950768a29731dd14d14e89f4d2 Mon Sep 17 00:00:00 2001 From: Snarling <84951833+Snarling@users.noreply.github.com> Date: Wed, 5 Jul 2023 18:18:53 -0400 Subject: [PATCH] Fix backwards name for indent option (#659) --- src/ScriptEditor/ui/OptionsModal.tsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ScriptEditor/ui/OptionsModal.tsx b/src/ScriptEditor/ui/OptionsModal.tsx index 6eb1843f3..93a92d473 100644 --- a/src/ScriptEditor/ui/OptionsModal.tsx +++ b/src/ScriptEditor/ui/OptionsModal.tsx @@ -60,7 +60,7 @@ export function OptionsModal(props: OptionsModalProps): ReactElement {
- Indent using tabs: + Indent using spaces: props.onOptionChange("insertSpaces", e.target.checked)} checked={props.options.insertSpaces}