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.1-keyboard-shortcuts.patch

-- 
GPG Key - E5C8BC67
-------
_______________________________________________
xfce mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to