Hi!
I love the new styling! However, I'm not sure the hovering effect when the cursor is on the bar is necessary, as it makes it difficult to distinguish between empty and non-empty workspaces. Also, I find it distracting. Can this be set on the extension's side or is this a Gnome Shell 40-specific thing?
Merci pour ton travail !
EV
Hi!
I love the new styling! However, I'm not sure the hovering effect when the cursor is on the bar is necessary, as it makes it difficult to distinguish between empty and non-empty workspaces. Also, I find it distracting. Can this be set on the extension's side or is this a Gnome Shell 40-specific thing?
Merci pour ton travail !
EV