2017-01-26 2:47 GMT+01:00 Mukundan Ragavan <nonamedotc(a)gmail.com>:
The keybindings for media controls are fedora specific. This predates
my
involvement but I suspect this has to do with the decision to add pragha
as default media player in Xfce spin.
Here is the fedora keybindings patch that does this -
https://src.fedoraproject.org/cgit/rpms/libxfce4ui.git/plain/libxfce4ui-4...
That was me. :-) I think these changes are useful, but I agree with
Kevin that the patch can cause problems if there are changes upstream.
Nevertheless I think we should not just drop the patch but try to
upstream it, at least the parts that make sense. But I'll leave this
decision to the maintainers of the package as I am stepping down (see
my other mail on this topic).
Best regards,
Christoph