350194 - improve how tab strip handles large fonts / large DPI values

Status: RESOLVED FIXED

(Firefox :: Tabbed Browser, defect)

Description

[(not reading, please use [e-mail] instead)]

improve how tab strip handles large fonts / large DPI values

a place holder bug, for a bunch of changes we need to make to the tab strip.

more details coming...

Comment 1

[(not reading, please use [e-mail] instead)]

Attachment: screen shot of the problem

mconnor suggested that instead of "height: 24px" in browser.css for winstripe, we use min-height.  trying that now for the tab elements, but the scrollbuttons and alltabs button may need a few other changes first.

Comment 2

[Michael Wu [:mwu]]

Instead of relying on little images to create the rounded tab effect, it might make more sense to use the -moz-border-radius-* css properties.

Comment 3

[Mike Connor [:mconnor]]

The problem with that is that we can't anti-alias CSS radius borders, or do gradients etc.  If we could do this all with CSS and have it look as clean, we would have gone that route in the beginning.

Comment 4

[Mike Beltzner [:beltzner, not reading bugmail]]

Not going to block on this, although we'd be happy if it gets fixed serendipitously. Same as bug 348138, this works fine with "Extra Large Fonts" in w32.

Comment 5

[(not reading, please use [e-mail] instead)]

*** Bug 350656 has been marked as a duplicate of this bug. ***

Comment 6

[Myk Melez [:myk] [@mykmelez]]

*** Bug 352729 has been marked as a duplicate of this bug. ***

Comment 7

[Peter Kasting]

See more detail on problem/solution at bug 352729 comment 0 and bug 352729 comment 1.

Comment 8

[Ria Klaassen (not reading all bugmail)]

*** Bug 355997 has been marked as a duplicate of this bug. ***

Comment 9

[(not reading, please use [e-mail] instead)]

sorry for the bug spam, re-assigning bugs back to default owner if I'm not working actively on them.

Comment 12

[AndrewM]

Is this still targeted for Firefox 3?

Comment 13

[Dão Gottwald [:dao]]

So this was mostly fixed by bug 387345. As far as I can see, there's one remaining issue: the tabs' min and max widths are device pixels. For large DPI values, the labels will be cropped sooner and can eventually become completely empty.