The problem did not only occur when using mouse scrolling but also when changing volume using the keyboard. This rather trivial patch should fix the issue.
The problem did not only occur when using mouse scrolling but also when changing volume using the keyboard.
This rather trivial patch should fix the issue.