[Bug 83334] Re: Gnome Workspace Switche Preferences: Number of workspaces number-field arrow buttons don't work

[Sebastien Bacher]

That bug has been identified, confirmed and fixed upstream, no need to
describe it again. The fix will be uploaded to Ubuntu next week with the
new GNOME

-- 
Gnome Workspace Switche Preferences: Number of workspaces number-field arrow buttons don't work
https://launchpad.net/bugs/83334