Thank you for your bug. Where do you try to use ctrl-alt-arrow? That's not a gnome-panel, rather a window manager one. Do you try to change the workspace? How many are configured? Do you use the desktop effects option?
Thank you for your bug. Where do you try to use ctrl-alt-arrow? That's not a gnome-panel, rather a window manager one. Do you try to change the workspace? How many are configured? Do you use the desktop effects option?