From 451b17641195dad4e2efc1798224182ba1fde9db Mon Sep 17 00:00:00 2001
From: Jonathan <vanillajonathan@users.noreply.github.com>
Date: Sat, 6 Jan 2024 00:46:33 +0100
Subject: [PATCH] Change default font-size to 14

Changes the default font-size from 12px to a more modern 14px used by other editors such as CodeMirror and Monaco.
---
 src/css/editor-css.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/css/editor-css.js b/src/css/editor-css.js
index bdcde97a02b..0325cfb448a 100644
--- a/src/css/editor-css.js
+++ b/src/css/editor-css.js
@@ -31,7 +31,7 @@ module.exports = `
     position: relative;
     overflow: hidden;
     padding: 0;
-    font: 12px/normal 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'Source Code Pro', 'source-code-pro', monospace;
+    font: 14px/normal 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'Source Code Pro', 'source-code-pro', monospace;
     direction: ltr;
     text-align: left;
     -webkit-tap-highlight-color: rgba(0, 0, 0, 0);