It seems that the interface for selecting this has vanished, but not the underlying mechanism to provide it.
(By the by, this bug is featured in http://www.jwz.org/blog/2014/06/xkeycaps-a-word-i-thought-id-never-hear- again/ ) -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-control-center in Ubuntu. https://bugs.launchpad.net/bugs/1224575 Title: gnome-control-center keyboard no longer has way to modify caps lock key behavior To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-control-center/+bug/1224575/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs