gnome panel music player

edit

Gnome shell extension Mediaplayers -> https://github.com/Caccc/Gnome-shell-extension-Mediasplayers

Gnome shell extension Mediaplayers is a simple extension for displaying player control, music and music cover in Gnome Shell.

Players supported (depend of the correct MPRIS support by the players) :

Banshee (full functional)
Rhythmbox
Clementine
Quodlibet
Audacious
Guayadeque
MPD serveur (for Gnome Musique Player for example)

sudo yum install gnome-shell-extension-mediaplayers

and enable it with gnome-tweak-tool... or -> http://ask.fedoraproject.org/question/382/how-to-enable-gnome-shell-extensions

NOTE : most of these gnome-shell-extension must be updated to the new version of gnome-shell 3.2 is this doesn't work feel free to fill a bug...