Source/project tab change with mousewheel

Windows 10 / 24.02.29

Small UI bug: while hovering mouse over Source and Project tab names - using mousewheel seems to change the active tab but only visually, the actual tab does not change. Not sure if it was intented to work or not fully. For other tab (heads?) it works properly, just not Source and Project.

image

Thanks for your report. This is fixed for the next release. I disabled the scroll wheel for those tabs. Even though it might be convenient for advanced users, I’m afraid it will result in accidental changes for some users.