I can confirm this (Windows). Mousewheel is not working, and the scrolling range seems to somewhat small, (1 Pixel) ? If you use the up and down buttons of the scroll bar.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I can confirm this (Windows). Mousewheel is not working, and the scrolling range seems to somewhat small, (1 Pixel) ? If you use the up and down buttons of the scroll bar.
Fixed in 0ccd5640fbda78eb6121ed19e947fdb0afcf222a
Reviewed on http://saros-build.imp.fu-berlin.de/gerrit/261
Waiting for next release.
Part of Release 12.9.28