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 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
