diff --git a/frontend/src/lib/components/Editor.svelte b/frontend/src/lib/components/Editor.svelte index 7581425c59..41915bac1d 100644 --- a/frontend/src/lib/components/Editor.svelte +++ b/frontend/src/lib/components/Editor.svelte @@ -89,6 +89,7 @@ export let args: Record | undefined = undefined export let useWebsockets: boolean = true export let listenEmptyChanges = false + export let small = false const rHash = randomHash() $: filePath = computePath(path) @@ -910,6 +911,7 @@ editor = meditor.create(divEl as HTMLDivElement, { ...editorConfig(code, lang, automaticLayout, fixedOverflowWidgets), model, + fontSize: !small ? 14 : 12, overflowWidgetsDomNode: widgets, tabSize: lang == 'python' ? 4 : 2, folding diff --git a/frontend/src/lib/components/apps/editor/inlineScriptsPanel/InlineScriptEditor.svelte b/frontend/src/lib/components/apps/editor/inlineScriptsPanel/InlineScriptEditor.svelte index 7a01c79c5b..52f6a13b24 100644 --- a/frontend/src/lib/components/apps/editor/inlineScriptsPanel/InlineScriptEditor.svelte +++ b/frontend/src/lib/components/apps/editor/inlineScriptsPanel/InlineScriptEditor.svelte @@ -257,6 +257,7 @@ deno={inlineScript.language == 'deno'} path={inlineScript.path} bind:this={editor} + small class="flex flex-1 grow h-full" lang={scriptLangToEditorLang(inlineScript?.language)} bind:code={inlineScript.content} @@ -297,6 +298,7 @@