From a2314def61a3ddd199c299af55f9ec562dd515ac Mon Sep 17 00:00:00 2001
From: Phil Roggenbuck <1367949+phrogg@users.noreply.github.com>
Date: Tue, 14 Feb 2023 10:52:20 +0100
Subject: [PATCH] Fixed wrong filename in settings

---
 apps/widbgjs/settings.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/apps/widbgjs/settings.js b/apps/widbgjs/settings.js
index f2eb190bc..b7c594022 100644
--- a/apps/widbgjs/settings.js
+++ b/apps/widbgjs/settings.js
@@ -1,5 +1,5 @@
 (function (back) {
-    const SAVEFILE = "wpbgjs.settings.json";
+    const SAVEFILE = "widbgjs.settings.json";
 
     // initialize with default settings...
     let s = {
@@ -51,4 +51,4 @@
         },
         '< Back': back,
     });
-});
\ No newline at end of file
+});