Mouse wheel does not work in Preferences dialog

[fraenkg]

The Preferences dialog is open and shows the settings for "Appearance".
You cannot scroll with the mouse wheel here
(beta 3 Windows 10 21H1 64 Bit)

 

[Marco Kalter]

We'll fix it.

 

[fraenkg]

fixed in beta 4 - Thx!