From ab53c26befcb365c63fb97f48e13262add917d11 Mon Sep 17 00:00:00 2001 From: Luiz Bills Date: Fri, 3 May 2024 13:43:03 -0300 Subject: [PATCH] increase editor font size --- src/index.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/index.js b/src/index.js index bf2bcaa..37483b7 100644 --- a/src/index.js +++ b/src/index.js @@ -197,7 +197,7 @@ const state = EditorState.create({ autocomplete: customCompletions, }), EditorView.theme({ - "&": { height: "100%" }, + "&": { height: "100%", fontSize: smallScreen ? "18px" : "16px" }, ".cm-scroller": { overflow: "auto" }, }), EditorView.lineWrapping,