An update to my comment #36: Downgrading from Gnome-shell 3.10 to Gnome-shell 3.8 solved the issue at first. However, a few days latter, after a regular upgrade (sudo apt-get upgrade *not* sudo apt-get dist-upgrade), the problem came back, even in Gnome-shell 3.8. This time, however, it is only affecting increasing/decreasing audio volume, as I've no problems regarding other Fn functions as brightness, print screen, etc.
Therefore, my previous assessment of the situation should be mostly ignored. My machine is a Samsung/intell NP530U3B "Ultrabook", running UbuntuGNOME 13.10 and Gnome-shell 3.8. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1217196 Title: Keyboard shortcuts not working with GNOME 3.9.90 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu-gnome/+bug/1217196/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs