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+.
https://extensions.gnome.org/extension/55/media-player-indicator/
If you wish to take over maintership please contact the owner of this repo.
A mediaplayer indicator for GNOME Shell 3.18+.
https://extensions.gnome.org/extension/55/media-player-indicator/
GNU General Public License v2.0