where would one find that?
On 01/11/2018 12:13 PM, Alberts Muktupāvels wrote: > This is known bug, you have to use CompizConfig Settings Manager to > change that. > -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-panel in Ubuntu. https://bugs.launchpad.net/bugs/1741348 Title: gnome-flashback/gnome-panel: bottom right workspace selector will not accept preference change to more than 1 workspace To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-panel/+bug/1741348/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs