GNOME Shell Extensions

Review of "Dock Media Player" version 1.1 (4)

Details Page Preview

Dock Media Player

by Pajgla

Simple media widget for Dash to Dock

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

Diff Against

Files

Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.

All Versions

Version Status
1.2 (5) Active
1.1 (4) Active
1.0 (3) Active
1.0 (2) Rejected
1 Rejected

Previous Reviews on this Version

JustPerfection active