From 07779c45950e7319d05194fdca17104fc3350a69 Mon Sep 17 00:00:00 2001 From: Diego Imbert Date: Wed, 16 Apr 2025 15:26:45 +0200 Subject: [PATCH] fix for increased browser font sizes --- frontend/src/lib/components/Editor.svelte | 2 +- frontend/src/lib/components/FakeMonacoPlaceHolder.svelte | 8 ++++---- frontend/src/lib/components/ResourcePicker.svelte | 2 +- frontend/src/lib/components/SimpleEditor.svelte | 2 +- frontend/src/lib/components/TemplateEditor.svelte | 2 +- 5 files changed, 8 insertions(+), 8 deletions(-) diff --git a/frontend/src/lib/components/Editor.svelte b/frontend/src/lib/components/Editor.svelte index ae28462abd..49b716de1b 100644 --- a/frontend/src/lib/components/Editor.svelte +++ b/frontend/src/lib/components/Editor.svelte @@ -1418,7 +1418,7 @@ {#if !editor}
{code} {#if code.endsWith('\n')} @@ -34,7 +34,7 @@