Skip to content

Commit

Permalink
Update settings.ts
Browse files Browse the repository at this point in the history
  • Loading branch information
MeowcaTheoRange authored Oct 4, 2023
1 parent fb6d6ed commit b29c4b9
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions src/settings.ts
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit b29c4b9

Please sign in to comment.