If anyone's willing to continue the development of this extension, contact me!
Show controls and information of the currently playing media in the panel.
- 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...
- Supports GNOME 3.36 (beta), 3.38, 40 and 41.
- 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/mediacontrols@cliffniff.github.com/ && curl -OL https://raw.githubusercontent.com/cliffniff/media-controls/main/player.js && curl -OL https://raw.githubusercontent.com/cliffniff/media-controls/main/stylesheet.css
OR
dnf install gnome-shell-extension-mediacontrols
yay -S gnome-shell-extension-media-controls Stable release
yay -S gnome-shell-extension-media-controls-git Build of the main branch
Install from source
- Download and extract the zip file in the releases tab
- Rename the extracted folder to
mediacontrols@cliffniff.github.com - Move it to
~/.local/share/gnome-shell/extensions/ - Enable the extension in the Extensions app or type
gnome-extensions enable mediacontrols@cliffniff.github.comin the terminal