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.