Seb, this is the key I was thinking about, which is new for 3.8: https://git.gnome.org/browse/gsettings-desktop- schemas/commit/?id=6bf6140
I forgot that GNOME's input improvements won't help us unless we move on to ibus 1.5. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1170741 Title: Ubuntu does not provide keyboard shortcut to change keyboard layouts by default To manage notifications about this bug go to: https://bugs.launchpad.net/hundredpapercuts/+bug/1170741/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
