From 20b692ab40ab462e9c09ce90229ca1779fe246df Mon Sep 17 00:00:00 2001 From: Andy Holmes Date: Thu, 21 Sep 2023 19:22:27 -0700 Subject: [PATCH] fix: use GSettings constructor for desktop settings --- extension.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extension.js b/extension.js index c5b6945..80a0776 100644 --- a/extension.js +++ b/extension.js @@ -125,7 +125,7 @@ function _enable(extension) { if (panelManager) return; //already initialized SETTINGS = extension.getSettings('org.gnome.shell.extensions.dash-to-panel'); - DESKTOPSETTINGS = extension.getSettings('org.gnome.desktop.interface'); + DESKTOPSETTINGS = new Gio.Settings({schema_id: 'org.gnome.desktop.interface'}); EXTENSION_UUID = extension.uuid EXTENSION_PATH = extension.path