From a83ff3050689074be41fc846519f447caa0dfd32 Mon Sep 17 00:00:00 2001
From: Evan Song <theevansong@gmail.com>
Date: Tue, 15 Oct 2024 12:25:17 -0700
Subject: [PATCH] chore: set editor font size to something less dumb

Signed-off-by: Evan Song <theevansong@gmail.com>
---
 apps/frontend/src/pages/servers/manage/[id]/files.vue | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/apps/frontend/src/pages/servers/manage/[id]/files.vue b/apps/frontend/src/pages/servers/manage/[id]/files.vue
index 2c9e73f85..7041f6951 100644
--- a/apps/frontend/src/pages/servers/manage/[id]/files.vue
+++ b/apps/frontend/src/pages/servers/manage/[id]/files.vue
@@ -210,7 +210,7 @@
           lang="json"
           theme="one_dark"
           :print-margin="false"
-          style="height: 750px"
+          style="height: 750px; font-size: 1rem"
           class="ace_editor ace_hidpi ace-one-dark ace_dark rounded-b-lg"
           @init="onInit"
         />
@@ -359,8 +359,6 @@ const onInit = (editor: any) => {
     bindKey: { win: "Ctrl-S", mac: "Command-S" },
     exec: () => saveFileContent(false),
   });
-  // set font size
-  editor.setFontSize(20);
 };
 
 const fetchData = async () => {