From 8ce4de0c8d60a306dcd0a4e29090f6751663afa8 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Sun, 10 Jul 2022 20:52:46 +0200 Subject: [PATCH] style errors, fixed backdrop + hide console --- repl/src/App.css | 2 +- repl/src/App.jsx | 14 ++++++++++---- 2 files changed, 11 insertions(+), 5 deletions(-) diff --git a/repl/src/App.css b/repl/src/App.css index 9c8edd839..c8b7b71f7 100644 --- a/repl/src/App.css +++ b/repl/src/App.css @@ -20,7 +20,7 @@ body { .darken::before { content: ' '; - position: absolute; + position: fixed; top: 0; left: 0; width: 100vw; diff --git a/repl/src/App.jsx b/repl/src/App.jsx index f8d7374ce..ff47d21a2 100644 --- a/repl/src/App.jsx +++ b/repl/src/App.jsx @@ -109,6 +109,7 @@ function App() { pushLog, pending, hideHeader, + hideConsole, } = useRepl({ tune: '// LOADING...', defaultSynth, @@ -293,19 +294,24 @@ function App() { )}
-
+
{/* onCursor={markParens} */} - + {!cycle.started ? `press ctrl+enter to play\n` : dirty ? `ctrl+enter to update\n` : 'no changes\n'} {error && ( -
+
{error?.message || 'unknown error'}
)}
- {!isEmbedded && ( + {!isEmbedded && !hideConsole && (