If anyone's willing to continue the development of this extension, contact me!
What does this extension do?
Show controls and information of the currently playing media in the panel.
Features
- Customize how the extension looks
- Disable elements you don't want
- Invoke different actions in many ways through mouse actions
- Basic media controls (play/pause/next/prev)
- Other media controls (loop/shuffle)
- And more...
Notes
- Supports GNOME 3.36 (beta), 3.38, 40 and 41.
Known issues
- If you have installed the extension from extensions.gnome.org, there will be some padding and icon size issues with some themes as reported here. To fix it run this command and re-login.
cd ~/.local/share/gnome-shell/extensions/[email protected]/ && curl -OL https://raw.githubusercontent.com/cliffniff/media-controls/main/player.js && curl -OL https://raw.githubusercontent.com/cliffniff/media-controls/main/stylesheet.css
Screenshots
How to install
Install from extensions.gnome.org
OR
Fedora
dnf install gnome-shell-extension-mediacontrols
Arch Linux (AUR)
yay -S gnome-shell-extension-media-controls Stable release
yay -S gnome-shell-extension-media-controls-git Build of the main branch
Other distributions
Install from source
- Download and extract the zip file in the releases tab
- Rename the extracted folder to
[email protected] - Move it to
~/.local/share/gnome-shell/extensions/ - Enable the extension in the Extensions app or type
gnome-extensions enable [email protected]in the terminal