diff --git a/website/src/repl/components/ReplEditor.jsx b/website/src/repl/components/ReplEditor.jsx index 5a1c2e67..c96fbbfd 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 } = Props; const { containerRef, editorRef, error, init, pending } = context; const settings = useSettings(); - const { panelPosition } = settings; + const { panelPosition, isZen } = settings; return (
@@ -21,10 +21,10 @@ export default function ReplEditor(Props) {
- {panelPosition === 'right' && } + {!isZen && panelPosition === 'right' && }
- {panelPosition === 'bottom' && } + {!isZen && panelPosition === 'bottom' && }
); } diff --git a/website/src/repl/components/panel/Forms.jsx b/website/src/repl/components/panel/Forms.jsx index c5b22002..4cb73a46 100644 --- a/website/src/repl/components/panel/Forms.jsx +++ b/website/src/repl/components/panel/Forms.jsx @@ -6,6 +6,7 @@ export function ButtonGroup({ value, onChange, items }) { {Object.entries(items).map(([key, label], i, arr) => ( + )} ); } @@ -78,11 +90,27 @@ if (TAURI) { tabNames.files = 'files'; } -function PanelNav({ children, className, ...props }) { +function PanelNav({ children, className, settings, ...props }) { + const isHoverBehavior = settings.togglePanelTrigger === 'hover'; return (