diff --git a/website/src/repl/components/Header.jsx b/website/src/repl/components/Header.jsx
index 7a4259bf..4ff8bb0d 100644
--- a/website/src/repl/components/Header.jsx
+++ b/website/src/repl/components/Header.jsx
@@ -13,115 +13,122 @@ export function Header({ context, embedded = false }) {
const { started, pending, isDirty, activeCode, handleTogglePlay, handleEvaluate, handleShuffle, handleShare } =
context;
const isEmbedded = typeof window !== 'undefined' && (embedded || window.location !== window.parent.location);
- const { isZen, isButtonRowHidden, isCSSAnimationDisabled, fontFamily, isPanelOpen } = useSettings();
+ const { isZen, isButtonRowHidden, isCSSAnimationDisabled, fontFamily, isPanelOpen, panelPosition } = useSettings();
return (
);
}
diff --git a/website/src/repl/components/panel/Panel.jsx b/website/src/repl/components/panel/Panel.jsx
index 652d1198..a02e7a2f 100644
--- a/website/src/repl/components/panel/Panel.jsx
+++ b/website/src/repl/components/panel/Panel.jsx
@@ -14,27 +14,25 @@ import ExportTab from './ExportTab';
const TAURI = typeof window !== 'undefined' && window.__TAURI__;
export function HorizontalPanel({ context }) {
- const settings = useSettings();
- const { isPanelOpen, activeFooter: tab } = settings;
-
+ const { isPanelOpen, activeFooter: tab } = useSettings();
return (
+
+
+
+
{isPanelOpen && (
)}
-
-
-
-
-
-
);
}
@@ -53,7 +51,7 @@ export function VerticalPanel({ context }) {
@@ -77,8 +75,8 @@ if (TAURI) {
tabNames.files = 'files';
}
-function PanelNav({ children, className, settings, ...props }) {
- const isHoverBehavior = settings.togglePanelTrigger === 'hover';
+function PanelNav({ children, className, ...props }) {
+ const settings = useSettings();
return (