From 9dfe33578962bfe7b8dc45751c519d766a3ee430 Mon Sep 17 00:00:00 2001 From: Ruben Fiszel Date: Wed, 25 Jan 2023 20:40:40 +0100 Subject: [PATCH] for python change default editor tab to 4 --- frontend/src/lib/components/Editor.svelte | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/frontend/src/lib/components/Editor.svelte b/frontend/src/lib/components/Editor.svelte index 226f4509a1..a4e255c609 100644 --- a/frontend/src/lib/components/Editor.svelte +++ b/frontend/src/lib/components/Editor.svelte @@ -411,7 +411,8 @@ model.updateOptions(updateOptions) editor = meditor.create(divEl as HTMLDivElement, { - ...editorConfig(model, code, lang, automaticLayout, fixedOverflowWidgets) + ...editorConfig(model, code, lang, automaticLayout, fixedOverflowWidgets), + tabSize: lang == 'python' ? 4 : 2 }) let timeoutModel: NodeJS.Timeout | undefined = undefined