Window list extension does not honour mouse wheel (scroll) on screen bottom/right pixel
Ubuntu Linux 21.10 64-bit, GNOME 40.4.0, X11 windowing system
The Window List extension adds a window/workspace indicator at the bottom of the screen, with the possibility to change workspace by scrolling (mouse wheel) on the workspace indicator on the right side.
Previously, this scrollable area extended to the far right of the screen, so it was possible to position the cursor in the bottom/right corner and use the mouse wheel to switch workspace.
This workspace switching is natural to me (and the corner pixel is easy to move the mouse to), so I would like the reactive area of the Window List extension to be extended to include the corner pixel.
Edited by Bernt Ribbum