From b6b54a8553b9768841cab758417ef91a842b3fe0 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Mon, 21 Oct 2024 21:50:40 +0200 Subject: [PATCH 1/2] add 2 new settings - disable css animations - hide buttons - add docs link to left (to use when buttons are hidden) --- website/src/components/Header/Header.astro | 7 ++-- website/src/repl/components/Header.jsx | 32 ++++++++++++------- .../src/repl/components/panel/SettingsTab.jsx | 14 +++++++- website/src/settings.mjs | 4 +++ 4 files changed, 41 insertions(+), 16 deletions(-) diff --git a/website/src/components/Header/Header.astro b/website/src/components/Header/Header.astro index cbc91ca0..c3b1b9c3 100644 --- a/website/src/components/Header/Header.astro +++ b/website/src/components/Header/Header.astro @@ -26,15 +26,16 @@ const baseNoTrailing = BASE_URL.endsWith('/') ? BASE_URL.slice(0, -1) : BASE_URL title="Top Navigation" >
- +
{/* KNOWN_LANGUAGE_CODES.length > 1 && */}
diff --git a/website/src/repl/components/Header.jsx b/website/src/repl/components/Header.jsx index 8d6e2f9a..8ccf7704 100644 --- a/website/src/repl/components/Header.jsx +++ b/website/src/repl/components/Header.jsx @@ -15,24 +15,19 @@ 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 } = useSettings(); + const { isZen, isButtonRowHidden, isCSSAnimationDisabled } = useSettings(); return (