From 107a3acd3a208207382142266700c1947fd7511e Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Thu, 22 Jan 2026 20:24:04 +0100 Subject: [PATCH] rename panel components + fix borders --- website/src/components/Udels/UdelsEditor.jsx | 4 ++-- website/src/repl/components/ReplEditor.jsx | 6 +++--- website/src/repl/components/panel/Panel.jsx | 17 ++++++++--------- 3 files changed, 13 insertions(+), 14 deletions(-) diff --git a/website/src/components/Udels/UdelsEditor.jsx b/website/src/components/Udels/UdelsEditor.jsx index f58ac5fc7..b89576351 100644 --- a/website/src/components/Udels/UdelsEditor.jsx +++ b/website/src/components/Udels/UdelsEditor.jsx @@ -1,5 +1,5 @@ import Loader from '@src/repl/components/Loader'; -import { HorizontalPanel } from '@src/repl/components/panel/Panel'; +import { BottomPanel } from '@src/repl/components/panel/Panel'; import { Code } from '@src/repl/components/Code'; import BigPlayButton from '@src/repl/components/BigPlayButton'; import UserFacingErrorMessage from '@src/repl/components/UserFacingErrorMessage'; @@ -20,7 +20,7 @@ export default function UdelsEditor(Props) { - + ); } diff --git a/website/src/repl/components/ReplEditor.jsx b/website/src/repl/components/ReplEditor.jsx index 9ddd50c7d..437475e61 100644 --- a/website/src/repl/components/ReplEditor.jsx +++ b/website/src/repl/components/ReplEditor.jsx @@ -1,6 +1,6 @@ import { Code } from '@src/repl/components/Code'; import Loader from '@src/repl/components/Loader'; -import { HorizontalPanel, MainPanel, VerticalPanel } from '@src/repl/components/panel/Panel'; +import { BottomPanel, MainPanel, RightPanel } from '@src/repl/components/panel/Panel'; import UserFacingErrorMessage from '@src/repl/components/UserFacingErrorMessage'; import { useSettings } from '@src/settings.mjs'; @@ -23,11 +23,11 @@ export default function ReplEditor(Props) {
- {!isZen && panelPosition === 'right' && } + {!isZen && panelPosition === 'right' && }
- {!isZen && panelPosition === 'bottom' && } + {!isZen && panelPosition === 'bottom' && } {/* */} ); diff --git a/website/src/repl/components/panel/Panel.jsx b/website/src/repl/components/panel/Panel.jsx index b34568d39..1c12ebc35 100644 --- a/website/src/repl/components/panel/Panel.jsx +++ b/website/src/repl/components/panel/Panel.jsx @@ -162,7 +162,7 @@ function PanelCloseButton() { isPanelOpen && (