From b29c4b981088bcc0053f81077d74a6cd8740a728 Mon Sep 17 00:00:00 2001
From: MeowcaTheoRange <58280776+MeowcaTheoRange@users.noreply.github.com>
Date: Wed, 4 Oct 2023 08:30:03 -0500
Subject: [PATCH] Update settings.ts

---
 src/settings.ts | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/settings.ts b/src/settings.ts
index 1d38adaf..0e3311ec 100644
--- a/src/settings.ts
+++ b/src/settings.ts
@@ -81,9 +81,7 @@ export class ExtensionSettings {
     ext: Settings = settings_new_schema(Me.metadata["settings-schema"]);
     int: Settings | null = settings_new_id("org.gnome.desktop.interface");
     mutter: Settings | null = settings_new_id("org.gnome.mutter");
-    shell: Settings | null = settings_new_id(
-        "org.gnome.shell.extensions.user-theme"
-    );
+    shell: Settings | null = settings_new_id("org.gnome.shell.extensions.user-theme");
 
     // Getters