From 60b5024f63b7bd30af0705bf86d8c61a400ec853 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Tue, 20 Jan 2026 23:06:04 +0100 Subject: [PATCH] remove panel hover + optimize bottom panel --- website/src/repl/components/Header.jsx | 191 +++++++++--------- website/src/repl/components/panel/Panel.jsx | 55 ++--- .../src/repl/components/panel/SettingsTab.jsx | 8 - .../src/repl/components/panel/WelcomeTab.jsx | 4 +- website/src/settings.mjs | 1 - 5 files changed, 121 insertions(+), 138 deletions(-) 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 (