Para ello hay que instalar GNOME Shell Mediaplayer Extension.
Para instalar ejecutar en terminal:
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-mediaplayer
Luego ejecutamos el programa GNOME Tweak Tool ( imprescindible si usamos Gnome Shell ) para activar esta extensión:
Visto en: http://www.visualbeta.es/27779/linux/gnome-shell-mediaplayer-extension-anade-soporte-para-varios-reproductores-en-el-panel-de-gnome-shell/
No hay comentarios:
Publicar un comentario