This PR makes a couple of improvements to the tab bar:
When you hover over the current tab, the domain is displayed. I'm hoping this does two things:
It makes it a bit easier to check what site you're currently on, which helps with eg. phishing
It provides more of a hint that you can click on the tab to get to the URL bar
The current tab now has a larger minimum width than the other tabs.
At the old minimum width, it was difficult to fit the title and the controls in; this gets worse when we show a URL, since there usually isn't room to fit the complete domain.
When the ratio of (window width / tab count) drops below a threshold, the font size for the tab titles is now reduced slightly.
This should help a tiny bit with readability of the tab bar when there are many tabs open.
This PR makes a couple of improvements to the tab bar:
I'd appreciate any feedback on this!