Thanks for your report. This may be due to compiz (but of course, that doesn't invalidate the bug). Do you use Compiz/Desktop Effects and if so, can you disable them and see if the problem is fixed?
-- workspace switcher option for number of workspaces, not available https://bugs.launchpad.net/bugs/136639 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug contact for gnome-panel in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
