Tabs shouldn't wrap

[drschwartz]

Techniques other than wrapping should be used to handle situations where all tabs cannot fit into the horizontal space available. Both title clipping and tab scrolling are better solutions.

Clipping. Where the longest tab title length is X, clip all tabs so that the maximum length is X-N where N is the smallest number where all tabs can fit in the horizontal space.

Scrolling. FireFox? adds scroll buttons on either side of the tabs so the user can scroll right and left to tabs currently out of view. It also offers a drop-down list with all tabs for selection (as does IE7).

Clip until a minimum number of characters (try 8 to begin with) remain at which point add the scrolling feature.

[dante]

closed out #7302, which indicated I would be taking this ticket. so I am. The preliminary version/prototype can be seen in svn.dtk.org/dojoc/sandbox/tabs/

[drschwartz]

What's the process for not losing track of 'future' tickets?

[dante]

+1 ... closing this out in light of patch on #7888 which adds this support (to 1.1 only, needs updating to 1.2)