Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Potential Tab menu fix #3236
This is a possible fix for #1968 and other duplicates of this issue. It causes the tab menu to lock to the right of the window when there are too many tabs to display and it doesn't render tabs which would interfere with the menu. Resulting in something that looks like this if there are too many tabs to render.
Hope this fixes this issue
added a commit
this pull request
May 10, 2015
Ugh, just found this. Please don't remove working code because you don't find it convenient or to your liking. This makes a mess for me to have to come back and sort it out. I wouldn't have accepted this patch had I noticed this before.
Just keep them separate. If it's in there, most of the time it's there for a reason, and a PR to fix something else isn't the place to weigh in with personal takes on what is and isn't useful. If you don't like the behavior, that can be a separate issue and dealt with its own way (by the right people, with the right process, whatever).