Comment 38 for bug 931927

Ah! This is exactly what happens in keyboard preferences in system settings then. The reason why my other precise machine works is I didn't set those preferences while this bug was in place.

For example, I have CTRL-arrow set to switch workspaces. Right now I can switch workspaces with just arrow keys which means the Ctrl key is completely ignored even though it shows up in the preferences. So how do I get this addressed?