From 98a1786c109be8af3da3cfb088e00e8793277298 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Sun, 10 Dec 2023 21:06:51 +0100 Subject: [PATCH] hotfix: 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);