Review "Dock Media Player" version 1 - GNOME Shell Extensions

Review of "Dock Media Player" version 1

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.

FAQ

You can upload the next version by the same form you've posted this version.
You can change the extension icon by clicking on the icon in your extension page.
In case you want to inactivate an approved version, click on inactivate link in your extension page.
You can find developer guides in gjs.guide.
If you need any help with your extension, you can ask us on GNOME Matrix Channel.

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 rejected January 23, 2026

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