** 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 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)
** Changed in: gnome-shell (Ubuntu)
Status: Incomplete => New
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in 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
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
