From cd061356f80120e2387fcc51be770f615583c6bd Mon Sep 17 00:00:00 2001 From: Guilhem Date: Tue, 20 Jan 2026 18:39:56 +0000 Subject: [PATCH] fix(frontend): set editor font size to the same default as text (#7631) * set default font size to 13.5 * fix(frontend): update FakeMonacoPlaceHolder default font size to match Editor Co-authored-by: Ruben Fiszel --------- Co-authored-by: claude[bot] <41898282+claude[bot]@users.noreply.github.com> Co-authored-by: Ruben Fiszel --- frontend/src/lib/components/Editor.svelte | 2 +- frontend/src/lib/components/FakeMonacoPlaceHolder.svelte | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/frontend/src/lib/components/Editor.svelte b/frontend/src/lib/components/Editor.svelte index afaf00d831..77dddf6248 100644 --- a/frontend/src/lib/components/Editor.svelte +++ b/frontend/src/lib/components/Editor.svelte @@ -1365,7 +1365,7 @@ $relativeLineNumbers ), model, - fontSize: !small ? 14 : 12, + fontSize: !small ? 13.5 : 12, lineNumbersMinChars, // overflowWidgetsDomNode: widgets, tabSize: lang == 'python' ? 4 : 2, diff --git a/frontend/src/lib/components/FakeMonacoPlaceHolder.svelte b/frontend/src/lib/components/FakeMonacoPlaceHolder.svelte index 5eb7f39e21..3cbc020c9d 100644 --- a/frontend/src/lib/components/FakeMonacoPlaceHolder.svelte +++ b/frontend/src/lib/components/FakeMonacoPlaceHolder.svelte @@ -21,7 +21,7 @@ lineNumbersOffset = 0, class: className = '', showNumbers = true, - fontSize = 14 + fontSize = 13.5 }: Props = $props() let yPadding = MONACO_Y_PADDING