GNOME Shell Extensions

Review of "Dock Media Player" version 1.0 (3)

Details Page Preview

Dock Media Player

by Pajgla

Simple media widget for Dash to Dock

Extension Homepage
https://github.com/pajgla/Gnome-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.

Shexli (experimental)

Shexli has not produced a result yet.

All Versions

Version Status
1.3 (6) Active
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
Thanks!