GNOME Shell Extensions

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

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 rejected
Don't remove the files that you already imported in `extension.js`
Pajgla posted a review
I didn't remove anything actually. I think I wrongly packed my extension folder. Will be fixed