• sugar_in_your_tea
    link
    fedilink
    English
    arrow-up
    2
    ·
    7 months ago

    I showed the other two since they’re popular, and what others would be comparing against. Firefox (on my machines) is more compact than them. So it’s not like Firefox is especially wasteful here. One has worse floating tabs, and the other has worse non-floating tabs. So it could be way worse.

    Removing all the space would make it super cramped, and I don’t think it’s worth it for 10-20px. On a typical 1080p screen, that’s like 1-2% of the vertical resolution.

    That said, it should be configurable. You can probably get what you want with the userChrome.css or whatever it’s called.

      • sugar_in_your_tea
        link
        fedilink
        English
        arrow-up
        1
        ·
        7 months ago

        They have other things to consider as well, such as accessibility. You can’t just eliminate all whitespace without consequences.

        I do agree it should be easily configurable, but my point is that they’re better than pretty much every competitor, so I’m satisfied.