From 7d8984b706941b6970806a2a98551365b19d8080 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Wed, 23 Oct 2024 01:11:03 +0200 Subject: [PATCH] fix: lint --- website/src/repl/components/panel/Panel.jsx | 2 -- 1 file changed, 2 deletions(-) diff --git a/website/src/repl/components/panel/Panel.jsx b/website/src/repl/components/panel/Panel.jsx index 6bc2208e..81fcacf7 100644 --- a/website/src/repl/components/panel/Panel.jsx +++ b/website/src/repl/components/panel/Panel.jsx @@ -115,7 +115,6 @@ function PanelNav({ children, className, settings, ...props }) { } function PanelContent({ context, tab }) { - switch (tab) { case tabNames.patterns: return ; @@ -211,4 +210,3 @@ function CloseButton({ onClick }) { ); } -