On Wed, 25 Jan 2017 20:47:29 -0500 Mukundan Ragavan nonamedotc@gmail.com wrote:
On 01/25/2017 06:32 AM, Philippe Lemaire wrote:
Q uestion about the keybindings:
are the keybindings set on the multimedia keys to commands for the media player pragha defaults from upstream? This is the first time I’ve seen that.
Pragha was not installed on my system (I started from a default workstation install, and installed xfce via |dnf groupinstall xfce|)
Thanks
Nope.
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...
Yeah, this was added long long long ago so 'media keys' would work.
kevin