From 139b5376fc3ce9d252d4bed658d9865012e4718a Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Thu, 22 Jan 2026 01:16:22 +0100 Subject: [PATCH] rebrand hide button row to hide footer --- website/src/repl/components/ReplEditor.jsx | 4 ++-- website/src/repl/components/panel/SettingsTab.jsx | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/website/src/repl/components/ReplEditor.jsx b/website/src/repl/components/ReplEditor.jsx index 639647d61..d2981d2a4 100644 --- a/website/src/repl/components/ReplEditor.jsx +++ b/website/src/repl/components/ReplEditor.jsx @@ -13,7 +13,7 @@ export default function ReplEditor(Props) { const { context, ...editorProps } = Props; const { containerRef, editorRef, error, init, pending } = context; const settings = useSettings(); - const { panelPosition, isZen } = settings; + const { panelPosition, isZen, isButtonRowHidden } = settings; const isEmbedded = typeof window !== 'undefined' && window.location !== window.parent.location; return ( @@ -27,7 +27,7 @@ export default function ReplEditor(Props) { {!isZen && panelPosition === 'right' && } -