A mediaplayer indicator for the gnome-shell.
Home Page:https://extensions.gnome.org/extension/55/media-player-indicator/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool