gnome-shell with "Window List" extension causes dash to no longer benefit from "Rule of the infinite edges"
Affected version
- OS: archlinux, latest packages as of writing (2021-08-22)
- Affected GNOME Shell version: 40.4
- Does this issue appear in XOrg and/or Wayland: I'm using X (no Wayland on nvidia)
Bug summary
On 40.3, the launcher is right at the bottom, making it easy to move the mouse all the way to the bottom (https://en.wikipedia.org/wiki/Fitts%27s_law).
On 40.4, the launcher is shifted up a little, so moving the mouse all the way down overshoots.
I'm choosing to report this here (as opposed to https://gitlab.gnome.org/GNOME/gnome-shell-extensions) because
- Upgrading/downgrading gnome-shell is what seems to matter. Nothing changes when upgrading/downgrading gnome-shell-extensions.
- The misplaced UI feature is part of gnome-shell, rather than the extension. But feel free to bounce this to the extensions project.
Steps to reproduce
Press the windows key (super key) and move the mouse all the way to the bottom
What happened
overshot the launcher buttons
What did you expect to happen
launcher buttons should be at very bottom of screen, so you can't overshoot
Relevant logs, screenshots, screencasts etc.
With 40.3: 
With 40.4: 
(Notice gap at the bottom. In both screenshots my mouse is at the bottom edge of the screen)