A mediaplayer indicator for GNOME Shell 3.18+.
Home Page:https://extensions.gnome.org/extension/55/media-player-indicator/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool