From 1f16ebc5b25740b46b7f830e688318ca87acba99 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Sun, 10 Dec 2023 21:01:51 +0100 Subject: [PATCH] fix: deselect user pattern when opening links --- website/src/repl/Repl.jsx | 1 + 1 file changed, 1 insertion(+) diff --git a/website/src/repl/Repl.jsx b/website/src/repl/Repl.jsx index a5bfffd4..4ff92a80 100644 --- a/website/src/repl/Repl.jsx +++ b/website/src/repl/Repl.jsx @@ -177,6 +177,7 @@ export function Repl({ embedded = false }) { let msg; if (decoded) { setCode(decoded); + setActivePattern(''); msg = `I have loaded the code from the URL.`; } else if (latestCode) { setCode(latestCode);