Bottom bar does not properly correspond to mouse wheel

[digitalethics]

When clicking onto the bottom bar to navigate to different positions, the page positions change accordingly. When using the mouse wheel to scroll, the bottom bar indicates visual change without the page positions changing.

See also:

[johnfactotum]

This is known (since even before the first release). It only respond to button release event, and not wheel or keyboard events. It's not ideal, but we can't simply connect to the value-changed signal, and connecting to button-release-event was the easiest workaround.

[johnfactotum]

Fixed in the gtk4 branch.