From d9ef03beb7ca37538ad18bc480885c8e4b7ae18f Mon Sep 17 00:00:00 2001 From: Yutian Chen Date: Sun, 26 Jun 2022 21:17:59 -0400 Subject: [PATCH] :bug: Fix editor lazy-loading problem --- .gitignore | 1 + public/index.css | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 92d25bf..3fbf9ee 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,6 @@ node_modules/ build/ +.vscode/ console_test.js *.bc0 *.out diff --git a/public/index.css b/public/index.css index b8cb4e5..b9724ed 100644 --- a/public/index.css +++ b/public/index.css @@ -110,7 +110,7 @@ footer > ul { /* Editor Style */ -.cm-content, .cm-gutter, .cm-gutters, .cm-scroller, .cm-editor { +.cm-gutter, .cm-gutters, .cm-scroller, .cm-editor { height: calc(100vh - 19rem); min-height: 10rem; }