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.
A mediaplayer indicator for GNOME Shell 3.18+.
JavaScriptGPL-2.0
If you wish to take over maintership please contact the owner of this repo.