search

pragha-music-player / pragha

Pragha is a Lightweight Music Player for GNU/Linux.
GNU General Public License v3.0
178 stars 35 forks source link

Global Hotkey Support #35

Closed bwat47 closed 5 years ago

bwat47 commented 12 years ago

Pragha is a wonderful, fast player but it seems to have no support for media keys or any kind of hotkeys. This is a dealbreaker for me and I'd love to see support added.

matiasdelellis commented 12 years ago

Distro? Recently added support for gnome media keys, but if not are using gnome, you have to compile it with keybinder.

bwat47 commented 12 years ago

xfce/archlinux, I did find a workaround though, because luckily pragha has commands like pragha --pause which I could map to xfce's keyboard shortcuts :)

matiasdelellis commented 12 years ago

Weel.. You use multimedia keys? I forgot to mention that only works with them now.

kalikiana commented 5 years ago

What's the status of this? With Pragha 1.3.3 under GNOME 3.28.3 (Wayland) they don't work for me where other apps do.

matiasdelellis commented 5 years ago

Hi @kalikiana gnome-media-keys is deprecated on gnome3... But you can control Pragha with mpris2. Activate this in preferences.

kalikiana commented 5 years ago

@matiasdelellis Activate where? Pragha has no such preference as far as I can see

kalikiana commented 5 years ago

It seems like the Ubuntu package doesn't install any plugins. Latest master built from source, and installed, has an MPRIS plugin that works!

matiasdelellis commented 5 years ago

Great! :smile: