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 Desktop Packages, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1784633 Title: workspace side selector not properly rendered Status in gnome-shell package in Ubuntu: Incomplete Bug description: After upgrading Ubuntu to 18.04 the workspace selector, show on the side of the shell is not properly rendered. The panel takes the whole right side, independent from the number of workspaces I chose and the colored border around the active one is offset. The first time I open the shell the border highlight the proper box, the is set to the top left corner of the panel. I am attaching a picture showing the issue. ProblemType: Bug DistroRelease: Ubuntu 18.04 Package: gnome-shell 3.28.2-0ubuntu0.18.04.1 ProcVersionSignature: Ubuntu 4.15.0-29.31-generic 4.15.18 Uname: Linux 4.15.0-29-generic x86_64 NonfreeKernelModules: wl ApportVersion: 2.20.9-0ubuntu7.2 Architecture: amd64 CurrentDesktop: GNOME Date: Tue Jul 31 09:57:01 2018 DisplayManager: gdm3 GsettingsChanges: InstallationDate: Installed on 2016-07-02 (758 days ago) InstallationMedia: Ubuntu-GNOME 16.04 LTS "Xenial Xerus" - Release amd64 (20160421) SourcePackage: gnome-shell UpgradeStatus: Upgraded to bionic on 2018-07-24 (6 days ago) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1784633/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
