From 9b9176325b04d6607e831e37bc32efef8f497d87 Mon Sep 17 00:00:00 2001
From: Aria <weglossing@gmail.com>
Date: Fri, 22 Aug 2025 15:38:50 -0500
Subject: [PATCH] Update restore defaults to not delete patterns

---
 website/src/repl/components/panel/SettingsTab.jsx | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/website/src/repl/components/panel/SettingsTab.jsx b/website/src/repl/components/panel/SettingsTab.jsx
index cf2978a1a..8f02ca8b8 100644
--- a/website/src/repl/components/panel/SettingsTab.jsx
+++ b/website/src/repl/components/panel/SettingsTab.jsx
@@ -311,7 +311,8 @@ export function SettingsTab({ started }) {
           onClick={() => {
             confirmDialog('Sure?').then((r) => {
               if (r) {
-                settingsMap.set(defaultSettings);
+                const { userPatterns } = settingsMap.get(); // keep current patterns
+                settingsMap.set({...defaultSettings, userPatterns});
               }
             });
           }}