Marking as fixed, my problem was caused by stale 13.10 PPA packages.
Thanks to help from mgedmin on #ubuntu-gnome, I could revert to main
repo packages with this one-liner:
sudo apt-get install `apt-show-versions |grep 'newer than version in
archive'|cut -d ':' -f 1|sed -e 's/$/\/trusty/'`
** Changed in: gnome-shell (Ubuntu)
Status: New => Fix Released
** Summary changed:
- Shell 3.10 from 14.04 causes system keyboard shortcuts to partially fail
+ Ubuntu 13.10 + Shell 3.10 from gnome3-next PPA causes system keyboard
shortcuts to partially fail
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1242423
Title:
Ubuntu 13.10 + Shell 3.10 from gnome3-next PPA causes system keyboard
shortcuts to partially fail
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1242423/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
