Well... sure, I guess, but although I wasn't direct about it in my above comment, the whole discussion was about mouse control right?

If we want to discuss keyboard shortcuts, then Ctrl+Tab/Ctrl+Shift+Tab/Ctrl+W/Ctrl+T are quick tab management shortcuts that bypass mouse control as well, and that one pixel at the top that makes tab switching by mouse annoying for talles would be rather moot.