From 1e2c26123bcfaa16fe3dfeda824f316e15ef1208 Mon Sep 17 00:00:00 2001 From: "Jade (Rose) Rowland" Date: Wed, 3 Jan 2024 00:35:47 -0500 Subject: [PATCH] working --- website/src/repl/Header.jsx | 2 +- website/src/repl/Repl.jsx | 12 +++-- website/src/repl/panel/PatternsTab.jsx | 69 ++++++++++++-------------- 3 files changed, 41 insertions(+), 42 deletions(-) diff --git a/website/src/repl/Header.jsx b/website/src/repl/Header.jsx index 774d0142..f806d5d3 100644 --- a/website/src/repl/Header.jsx +++ b/website/src/repl/Header.jsx @@ -85,7 +85,7 @@ export function Header({ context }) { )}