Thanks for the video, that's excellent.
I found an upstream bug report for the issue already:
https://gitlab.gnome.org/GNOME/gnome-shell/issues/498
So we should track and discuss it there for now.
** Bug watch added: gitlab.gnome.org/GNOME/gnome-shell/issues #498
https://gitlab.gnome.org/G
I uninstalled all user installed extensions, uninstalled several
applications I was not using to see if the number of pages affected it,
and I rebooted the system afterward. The problem still persists. Here is
a screen recording of the bug in action.
https://drive.google.com/open?id=1LPuNu6zoKr0Hr
I can't seem to reproduce the bug just yet but I also don't have as many
pages as you do...
As a first step please try uninstalling your non-Ubuntu extensions, as
we find extensions cause a large number of bugs and side-effects. So
it's usually helpful to try removing them first. That means uninst
