GitHub repository: mart-w/gnome-shell-extensions-mediaplayer
Primary language: JavaScript
Description: A mediaplayer indicator for the gnome-shell.