> On Thu, 2 May 2019, 15:43 Martin Gansser, wrote:
>
>
> You could try looking at the similar but more limited
> https://github.com/JasonLG1979/gnome-shell-extension-mpris-indicator-button,
> from the same author.
Thanks for your answer.
I'm aware of that, but I asked if anyone got the origina
On Thu, 2 May 2019, 15:43 Martin Gansser, wrote:
>
> I am not getting
> gnome-shell-extension-media-player-indicator-0-0.24.20190419git65867e7.fc30
> to work on Fedora 30, although support for gnome-3.32 [1] is given. The
> maintainer of the program noted in the README.md that "THIS EXTENSION HAS
