From a450ffd9453209e212eca1807fb001eb0a7fb144 Mon Sep 17 00:00:00 2001
From: Miguel Solorio <miguel.solorio07@gmail.com>
Date: Sat, 7 Sep 2024 09:26:32 -0700
Subject: [PATCH] Don't update user settings

---
 src/lib/config.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/lib/config.js b/src/lib/config.js
index 54c9d5e..4031d2f 100644
--- a/src/lib/config.js
+++ b/src/lib/config.js
@@ -59,7 +59,6 @@ function updateConfig(config) {
 		log.info(`🤖 symbols.${key} changed, updating to ${config[key]}`);
 		const updateHandler = updateThemeJSONHandlers[key];
 		if (updateHandler) {
-			vscode.workspace.getConfiguration("symbols").update(key, config[key], true);
 			updateHandler(themeJSON, config[key]);
 		}
 	}