I did check the shell behavior without the extensions, and it is very similar. The only difference is that natively the workspaces are stacked, so there is no more the issue with the size of the panel, but the one with the border is still there. I submitted the bug to the shell developers as this address (#457): https://gitlab.gnome.org/GNOME/gnome-shell/issues/457
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1784633 Title: workspace side selector not properly rendered To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1784633/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
