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

Reply via email to