[gnome-shell-extensions] Stop using deprecated GSettings:schema property

[Florian Müllner <fmuellner src gnome org>]

commit 60ea0fb172a97b12e6e40663e941e24dbe0f5be7
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Oct 7 14:34:04 2014 +0200

    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 d59ae0d..864ea36 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 = '<b>' + _("Present windows as") + '</b>';
         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 244664d..9531e26 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 96fff45..af0b7ca 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 1458740..49378c4 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();