Thanks. I was eventually able to reproduce the issue by enabling "Auto-
hide the Dock". But I can see the problem will also be more significant
with more square screen resolutions, and less likely with wider
resolutions.
The bug does not occur if you disable the Ubuntu Dock extension
completely, I think because the appearance of the dash at the bottom
makes the available space wider and less tall.
It feels like this is going to need fixing in Ubuntu Dock somehow.
** Package changed: gnome-shell (Ubuntu) => gnome-shell-ubuntu-
extensions (Ubuntu)
** Changed in: gnome-shell-ubuntu-extensions (Ubuntu)
Status: Incomplete => Confirmed
** Also affects: gnome-shell (Ubuntu)
Importance: Undecided
Status: New
** Changed in: gnome-shell (Ubuntu)
Status: New => Confirmed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/2152773
Title:
Adjacent workspace not showing in overview
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/2152773/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
