Ondokuz / gnome-shell-extension-mediaplayer

GNOME Shell extension to control media players

•     Simon McVittie
•     smcv@debian.org
•     https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer
•     4.0-1
•     gnome-shell-extension-mediaplayer_4.0-1_all.deb
•     46.8 KiB
•     gnome
•     all
•      gnome-shell-extension-mediaplayer_4.0-1.debian.tar.xz
            gnome-shell-extension-mediaplayer_4.0-1.dsc
            gnome-shell-extension-mediaplayer_4.0.orig.tar.gz
•     Debian Versiyonu: 4.0-1
•     GNOME Shell extension to control media players