Hey Rodrigo and thanks for looking at this bug. A quick review (haven't
tested yet) - isn't this patch a little much, e g if you plug in usb
headphones, and then unplug them, wouldn't that cause the media keys to
stop working?

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-settings-daemon in Ubuntu.
https://bugs.launchpad.net/bugs/750334

Title:
  gnome-settings-daemon crashed with SIGABRT in raise()

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

Reply via email to