brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

workspaces: Use correct schema for workspace settings

Browse Source 
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 f1195ecb01)
This commit is contained in:
Florian Müllner
2018-11-08 09:47:25 +00:00
committed by Florian Müllner
parent be35dec71e
commit a1a7ba7cc7
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
js/ui/workspacesView.js
View File

@ -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();