diff --git a/.astro/settings.json b/.astro/settings.json
new file mode 100644
index 000000000..bf82959bd
--- /dev/null
+++ b/.astro/settings.json
@@ -0,0 +1,5 @@
+{
+ "devToolbar": {
+ "enabled": false
+ }
+}
\ No newline at end of file
diff --git a/website/src/repl/components/panel/Panel.jsx b/website/src/repl/components/panel/Panel.jsx
index a02e7a2f5..dcec29bec 100644
--- a/website/src/repl/components/panel/Panel.jsx
+++ b/website/src/repl/components/panel/Panel.jsx
@@ -13,6 +13,17 @@ import ExportTab from './ExportTab';
const TAURI = typeof window !== 'undefined' && window.__TAURI__;
+function PanelCloseButton() {
+ const { isPanelOpen } = useSettings();
+ return (
+ isPanelOpen && (
+
+ )
+ );
+}
+
export function HorizontalPanel({ context }) {
const { isPanelOpen, activeFooter: tab } = useSettings();
return (
@@ -24,12 +35,10 @@ export function HorizontalPanel({ context }) {
>
-
-
{isPanelOpen && (
-
+
)}
@@ -51,7 +60,7 @@ export function VerticalPanel({ context }) {
@@ -133,7 +142,7 @@ function PanelTab({ label, isSelected, onClick }) {
function Tabs({ className }) {
const { isPanelOpen, activeFooter: tab } = useSettings();
return (
-
+
{Object.keys(tabNames).map((key) => {
const val = tabNames[key];
return
setTab(val)} />;
@@ -141,49 +150,3 @@ function Tabs({ className }) {
);
}
-
-function PanelActionButton() {
- const settings = useSettings();
- const { isPanelOpen } = settings;
- if (!isPanelOpen) {
- return;
- }
- return
setIsPanelOpened(false)} />;
-}
-
-function PinButton({ pinned }) {
- return (
-
- );
-}
-
-function CloseButton({ onClick }) {
- return (
-
- );
-}
diff --git a/website/src/repl/components/panel/PatternsTab.jsx b/website/src/repl/components/panel/PatternsTab.jsx
index d0e54e34e..4fadd9dfd 100644
--- a/website/src/repl/components/panel/PatternsTab.jsx
+++ b/website/src/repl/components/panel/PatternsTab.jsx
@@ -172,7 +172,7 @@ export function PatternsTab({ context }) {
/>
-
+
{/* {patternFilter === patternFilterName.user && ( */}
{