• 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.