Dock Media Player

by Pajgla | 898 downloads

Simple media widget for Dash to Dock

Extension Homepage: https://github.com/pajgla/Gnome-Dash-To-Dock-Media-Player

Download

Your opinion

Unfortunately, to help prevent spam, we require that you log in to GNOME Shell Extensions in order to post a comment or report an error. You understand, right?

User Reviews

Loading reviews…

Versions

Version	Status	Shell Versions
1.2	Active	`45` `46` `47` `48` `49`
1.1	Active	`45` `46` `47` `48` `49`
1.0	Active	`49`
1.0	Rejected	`49`
1	Rejected	`49`