Strange graphical bug

[philibertc]

No bug on previous release.

[philibertc]

Better after executing cd ~/.local/share/gnome-shell/extensions/mediacontrols@cliffniff.github.com/ && curl -OL https://raw.githubusercontent.com/cliffniff/media-controls/main/player.js : But there is still the problem.

[sakithb]

This was reported before in #16. Let's continue the issue there. And also what is the name of your theme?

[philibertc]

Hello, my shell theme is Orchis-dark-compact. There is no issue with default gnome theme and the non "compact" version of my theme.

[sakithb]

Thanks I will look into it straight away! Also have you changed the panel size?

[philibertc]

Okay. Thanks for your awesome extension and your prompt investigation!

[philibertc]

Also have you changed the panel size?

This is what the compact version of my theme does, it refines the panel.

[sakithb]

Can you try re-running the command now. It should be fixed now. cd ~/.local/share/gnome-shell/extensions/mediacontrols@cliffniff.github.com/ && curl -OL https://raw.githubusercontent.com/cliffniff/media-controls/main/player.js

[philibertc]

Hmm, no:

[sakithb]

Did you try restarting the shell or relogging in?

[philibertc]

Restart shell only. I try relogging in. EDIT: no changes with relogging in either.

[sakithb]

Sorry need to update the command. Here you go, 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

[philibertc]

Solved! Thanks!

[sakithb]

No problem!