gnome-shell-extensions-mediaplayer
gnome-shell-extensions-mediaplayer copied to clipboard
A mediaplayer indicator for GNOME Shell 3.18+.
gnome-shell-extensions-mediaplayer
THIS EXTENSION HAS BEEN RETIRED and the repository has been archived.
If you wish to take over maintership please contact the owner of this repo.