eonpatapon/gnome-shell-extensions-mediaplayer — pull request #163 by FilippoC (2014-05-05 23:49:37+00:00)
Title: Non default player

Allow to set a non default player.
It's not really not perfect but I need this feature. :-)

If the specified player does not exists (or it does not have a desktop file), it will launch the default player.