** Summary changed:
- workspace side selector not properly rendered
+ workspace side selector not properly rendered (shows 3x3 instead of 1x9)
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1784633
** Description changed:
+ https://gitlab.gnome.org/GNOME/gnome-shell/issues/457
+
+ ---
+
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
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
Firstly please check that you are not using any gnome-shell extensions
as extensions tend to cause a large number of bugs.
If the problem persists without extensions then please report the bug to the
shell developers here:
https://gitlab.gnome.org/GNOME/gnome-shell/issues
and then tell us the
