[gnome-shell/gnome-3-30] workspaces: Use correct schema for workspace settings

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

commit a1a7ba7cc7a55cf8de1f38bc067a52aa023d0ab7
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Nov 8 09:47:25 2018 +0000

    workspaces: Use correct schema for workspace settings
    
    The custom overrides system is gone, we need to use the original
    mutter schema.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/issues/768
    
    
    (cherry picked from commit f1195ecb013e930899866a5cbc5f20dccf5417f8)

 js/ui/workspaceThumbnail.js | 4 ++--
 js/ui/workspacesView.js     | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/js/ui/workspaceThumbnail.js b/js/ui/workspaceThumbnail.js
index 76a7416c3..68bcb562a 100644
--- a/js/ui/workspaceThumbnail.js
+++ b/js/ui/workspaceThumbnail.js
@@ -31,7 +31,7 @@ var WORKSPACE_CUT_SIZE = 10;
 
 var WORKSPACE_KEEP_ALIVE_TIME = 100;
 
-var OVERRIDE_SCHEMA = 'org.gnome.shell.overrides';
+var MUTTER_SCHEMA = 'org.gnome.mutter';
 
 /* A layout manager that requests size only for primary_actor, but then allocates
    all using a fixed layout */
@@ -674,7 +674,7 @@ var ThumbnailsBox = new Lang.Class({
         Main.overview.connect('window-drag-cancelled',
                               this._onDragCancelled.bind(this));
 
-        this._settings = new Gio.Settings({ schema_id: OVERRIDE_SCHEMA });
+        this._settings = new Gio.Settings({ schema_id: MUTTER_SCHEMA });
         this._settings.connect('changed::dynamic-workspaces',
             this._updateSwitcherVisibility.bind(this));
 
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 4c97094aa..47993e393 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -24,7 +24,7 @@ var AnimationType = {
     FADE: 1
 };
 
-const OVERRIDE_SCHEMA = 'org.gnome.shell.overrides';
+const MUTTER_SCHEMA = 'org.gnome.mutter';
 
 var WorkspacesViewBase = new Lang.Class({
     Name: 'WorkspacesViewBase',
@@ -473,7 +473,7 @@ var WorkspacesDisplay = new Lang.Class({
         this._workspacesViews = [];
         this._primaryScrollAdjustment = null;
 
-        this._settings = new Gio.Settings({ schema_id: OVERRIDE_SCHEMA });
+        this._settings = new Gio.Settings({ schema_id: MUTTER_SCHEMA });
         this._settings.connect('changed::workspaces-only-on-primary',
                                this._workspacesOnlyOnPrimaryChanged.bind(this));
         this._workspacesOnlyOnPrimaryChanged();