Comment 7 for bug 899610

Revision history for this message
Sam Swift (samswift) wrote :

This is related to this bug
https://bugs.launchpad.net/ubuntu/+source/compiz/+bug/936840

which suggests that it was GNOME that changed the "name" of Ctrl to "Primary" which not surprisingly breaks keyboard shortcut configs.