From 60ea0fb172a97b12e6e40663e941e24dbe0f5be7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Tue, 7 Oct 2014 14:34:04 +0200 Subject: [PATCH] Stop using deprecated GSettings:schema property --- extensions/alternate-tab/prefs.js | 2 +- extensions/window-list/extension.js | 2 +- extensions/workspace-indicator/extension.js | 2 +- extensions/workspace-indicator/prefs.js | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/extensions/alternate-tab/prefs.js b/extensions/alternate-tab/prefs.js index d59ae0d5..864ea362 100644 --- a/extensions/alternate-tab/prefs.js +++ b/extensions/alternate-tab/prefs.js @@ -33,7 +33,7 @@ const AltTabSettingsWidget = new GObject.Class({ this.row_spacing = 6; this.orientation = Gtk.Orientation.VERTICAL; - this._settings = new Gio.Settings({ schema: 'org.gnome.shell.window-switcher' }); + this._settings = new Gio.Settings({ schema_id: 'org.gnome.shell.window-switcher' }); let presentLabel = '' + _("Present windows as") + ''; this.add(new Gtk.Label({ label: presentLabel, use_markup: true, diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js index 244664d8..9531e26e 100644 --- a/extensions/window-list/extension.js +++ b/extensions/window-list/extension.js @@ -663,7 +663,7 @@ const WorkspaceIndicator = new Lang.Class({ this.actor.connect('scroll-event', Lang.bind(this, this._onScrollEvent)); this._updateMenu(); - this._settings = new Gio.Settings({ schema: 'org.gnome.desktop.wm.preferences' }); + this._settings = new Gio.Settings({ schema_id: 'org.gnome.desktop.wm.preferences' }); this._settingsChangedId = this._settings.connect('changed::workspace-names', Lang.bind(this, this._updateMenu)); }, diff --git a/extensions/workspace-indicator/extension.js b/extensions/workspace-indicator/extension.js index 96fff458..af0b7cac 100644 --- a/extensions/workspace-indicator/extension.js +++ b/extensions/workspace-indicator/extension.js @@ -50,7 +50,7 @@ const WorkspaceIndicator = new Lang.Class({ //styling this.statusLabel.add_style_class_name('panel-workspace-indicator'); - this._settings = new Gio.Settings({ schema: WORKSPACE_SCHEMA }); + this._settings = new Gio.Settings({ schema_id: WORKSPACE_SCHEMA }); this._settingsChangedId = this._settings.connect('changed::' + WORKSPACE_KEY, Lang.bind(this, this._createWorkspacesSection)); }, diff --git a/extensions/workspace-indicator/prefs.js b/extensions/workspace-indicator/prefs.js index 1458740c..49378c4a 100644 --- a/extensions/workspace-indicator/prefs.js +++ b/extensions/workspace-indicator/prefs.js @@ -30,7 +30,7 @@ const WorkspaceNameModel = new GObject.Class({ this.parent(params); this.set_column_types([GObject.TYPE_STRING]); - this._settings = new Gio.Settings({ schema: WORKSPACE_SCHEMA }); + this._settings = new Gio.Settings({ schema_id: WORKSPACE_SCHEMA }); //this._settings.connect('changed::workspace-names', Lang.bind(this, this._reloadFromSettings)); this._reloadFromSettings();