From 6641ca9c73b060e61357aca3064b61ce6618c881 Mon Sep 17 00:00:00 2001 From: Billy Vong Date: Mon, 20 Dec 2021 10:45:44 -0500 Subject: [PATCH] fix ts --- src/ScriptEditor/ui/ScriptEditorRoot.tsx | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/ScriptEditor/ui/ScriptEditorRoot.tsx b/src/ScriptEditor/ui/ScriptEditorRoot.tsx index 7b4e8c494..293cb30af 100644 --- a/src/ScriptEditor/ui/ScriptEditorRoot.tsx +++ b/src/ScriptEditor/ui/ScriptEditorRoot.tsx @@ -45,7 +45,7 @@ interface IProps { hostname: string; player: IPlayer; router: IRouter; - vim: boolean; + vim?: boolean; } // TODO: try to removve global symbols @@ -703,12 +703,14 @@ export function Root(props: IProps): React.ReactElement { theme: Settings.MonacoTheme, insertSpaces: Settings.MonacoInsertSpaces, fontSize: Settings.MonacoFontSize, + vim: Settings.MonacoVim, }} save={(options: Options) => { setOptions(options); Settings.MonacoTheme = options.theme; Settings.MonacoInsertSpaces = options.insertSpaces; Settings.MonacoFontSize = options.fontSize; + Settings.MonacoVim = options.vim; }} />