Hi everybody.
After the last update my user-definded gnome shortcuts are not working any more. Extremely anoying is the lack of my shortcuts for workspace switching. Can anyone help?
If I open "Settings->Keyboard->Shortcuts" my changes have no effect.
Thanks for an answer!
Ben
