Review of "Dock Media Player" version 1

Details Page Preview

Simple media widget for Dash to Dock

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

No comments.

FAQ

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
1. What's the reason for the check? Seems unnecessary (line 167 and 188 `Core/MediaController.js`). 2. Should be disconnected on disable (line 53 `extension.js`). [EGO Review Guidelines: Disconnect all signals](https://gjs.guide/extensions/review-guidelines/review-guidelines.html#disconnect-all-signals) You can also add `donations` to the `metadata.json`, so people can donate to you if they want: [Extension Anatomy: donations](https://gjs.guide/extensions/overview/anatomy.html#donations) If you need any help with your extension you can ask us on: - [GNOME Extensions Matrix Channel](https://matrix.to/#/#extensions:gnome.org) - IRC Bridge: irc://irc.gimpnet.org/shell-extensions