Allow scrolling document tabs with scroll wheel

This doesn't really fix the ticket below. But it helps - now you can at least get to each of the tabs. But as for how to actually handle off-the-screen tabs, I think we need some UX help. But this feels like a harmless improvement in the mean time.

Relates to #6240 (closed)

This is similar in spirit to !7999 (merged).