You are not logged in.
IIRC gnome 3.6 had a keyboard layout options dialogue that allowed for a plethora of specialized keyboard settings, such as swapping the CTRL and Caps Lock keys. This no longer appears to be available. I'm looking under Settings => Region & Language => Input Sources => Options button => Input Source Options.
I know I can manually set this using xmodmap, but I'd like to know if and why the previous gnome 3.6 functionality has been dropped, or maybe it's coming back but just hasn't been coded yet.
Offline
Perhaps yet another feature the Gnome developers decided we didn't need. You can use gnome-tweak-tool (Typing options) to do what you want.
Offline
Big thanks on the lightning quick reply, that solved the problem.
Last edited by srf21c (2013-05-13 20:40:48)
Offline