Media keys not working is different issue, patch is only for custom
keyboard shortcuts randomly not working after getting back from lock
screen.

About media keys I have tested 12 different machines, but I can't
reproduce. For me play/pause have always worked even before the patch.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1188569

Title:
  Some keyboard shortcuts randomly stop working

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1188569/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to