One too many workspace when moving windows
gnome-shell-3.35.91-1.fc32
mutter-3.35.91-1.fc32
Steps:
- Have one workspace with several windows.
- Focus one window.
- Press Super+Shift+ArrowUp twice
Results:
- Get four workspaces displayed in the overlay for no reason.
Expected:
- Should be three, as correctly shown on the right.
Other comments:
The size of workspaces shown in the overlay also randomly changes.