In case it could help; an old solution: https://github.com/zpydr/gnome-shell-extension-taskbar/issues/62
In case it could help; an old solution: /github. com/zpydr/ gnome-shell- extension- taskbar/ issues/ 62
https:/