3 ms·
Check out https://extensions.gnome.org/extension/55/media-player-indicator/ https://extensions.gnome.org/extension/55/media-player-indic...
by jhasse 10y ago
Check out https://extensions.gnome.org/extension/55/media-player-indicator/ https://extensions.gnome.org/extension/55/media-player-indic...
- AdmiralAsshat 10y agoIt looks like it needs to be hard-coded for compatibility with every app, which makes it not so friendly. Wouldn't work with the unofficial Google Music Desktop Player (https://www.googleplaymusicdesktopplayer.com/ https://www.googleplaymusicdesktopplayer.com/), for instance, which I use heavily. EDIT: Nevermind, this ticket looks like it might: https://github.com/MarshallOfSound/Google-Play-Music-Desktop-Player-UNOFFICIAL-/issues/2389 https://github.com/MarshallOfSound/Google-Play-Music-Desktop...
- jhasse 10y agoAh that's pity. I'm using it for Rhythmbox and Spotify where it works fine. > It looks like it needs to be hard-coded for compatibility with every app By using a white-list? I thought it worked with every app which uses the MPRIS DBus interface.
- johnny22 10y agoi had though it relied on MPRIS :(