gnome-settings-daemon handle those keys and it's not easy to change it since it's not a command run but a service running and handling lot of settings in GNOME, efforts would be better spent making sure pulseaudio works correctly for everybody since that's where the linux world is aligning anyway nowadays
-- removing pulseaudio breaks sound control https://bugs.launchpad.net/bugs/440465 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-media in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
