Scrolling the tab bar should skip hidden child tabs

8 years ago • 0

When I hide a part of a tree, I am saying I don't want to see this right now. These hidden tabs should be skipped when using the scroll wheel to switch pages in sidebar.