From 2ea609acbb7d38f97277db30b17d312d9d3d010b Mon Sep 17 00:00:00 2001
From: Ruben Fiszel <ruben@rubenfiszel.com>
Date: Mon, 4 Dec 2023 21:32:54 +0100
Subject: [PATCH] smaller font size on inline editor

---
 frontend/src/lib/components/Editor.svelte                       | 2 ++
 .../apps/editor/inlineScriptsPanel/InlineScriptEditor.svelte    | 2 ++
 2 files changed, 4 insertions(+)

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<string, any> | 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 @@
 					<SimpleEditor
 						bind:this={simpleEditor}
 						class="h-full"
+						small
 						{extraLib}
 						bind:code={inlineScript.content}
 						lang="javascript"