2017-01-26 2:47 GMT+01:00 Mukundan Ragavan <[email protected]>: > 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.12.1-keyboard-shortcuts.patch
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 _______________________________________________ xfce mailing list -- [email protected] To unsubscribe send an email to [email protected]
