GNOME Bugzilla – Bug 786311
Ineffective "static workspaces" setting
Last modified: 2017-09-20 16:12:11 UTC
Created attachment 357618 [details] The observed behaviour on Virtual Machine I flagged "Static Workspaces" in gnome-tweaks and set "1" as the total "Number of Workspaces". Expected behaviour: only 1 workspace available + the workspace dock should be hidden in the overview. Observed behaviour: the system is unaffected, it keeps showing the "dynamic workspace" behaviour. GNOME Tweaks 3.25.90.1 GNOME Shell 3.24.3 GNOME Ubuntu 17.10
This is a regression. The redesign dropped the handling of gnome-shell's override schemas, so the option now always controls the setting from the 'org.gnome.mutter' schema, while the *actual* schema used by gnome-shell is 'org.gnome.shell.overrides' (or 'org.gnome.shell.extensions.classic-overrides' in classic mode) ...
(In reply to Florian Müllner from comment #1) > This is a regression. The redesign dropped the handling of gnome-shell's > override schemas, so the option now always controls the setting from the > 'org.gnome.mutter' schema, while the *actual* schema used by gnome-shell is > 'org.gnome.shell.overrides' (or > 'org.gnome.shell.extensions.classic-overrides' in classic mode) ... I did not drop anything like that since 3.24. And in my testing, it looks like the mutter gsettings schemas (and not the shell.overrides) are used for dynamic-workspaces in GNOME Shell 3.25.90. Also, I cannot duplicate this bug with today's Ubuntu 17.10. Jimmy, are you still affected by this issue?
(In reply to Jeremy Bicha from comment #2) > I did not drop anything like that since 3.24. Yes, in commit 624f44920826b3a187 to be exact - _GSettingsTweak has logic to automatically use the correct override schema where necessary, see adjust_schema_for_overrides() in widgets.py. > And in my testing, it looks like the mutter gsettings schemas > (and not the shell.overrides) are used for dynamic-workspaces > in GNOME Shell 3.25.90. I know that Ubuntu ships the patches from bug 746592, they may also have applied something similar to the patches in bug 786496 which indeed make the override mechanism obsolete. However none of that is upstream yet, so the setting is broken for non-patched glib/gnome-shell versions.
Florian, thanks for the follow up. I can confirm the bug with Ubuntu 17.10's "GNOME" session but not with the "Ubuntu" session (which is a GNOME Shell mode). (By the way, it does not look to me like Ubuntu includes patches from bug 786496.)
(In reply to Jeremy Bicha from comment #2) > Jimmy, are you still affected by this issue? Yes, I still have the issue in gnome-ubuntu 17.10, even if gnome-shell version is now 3.25.91.
Created attachment 360142 [details] [review] workspaces: Fix Workspaces tweaks
Attachment 360142 [details] pushed as a4e2437 - workspaces: Fix Workspaces tweaks