On Tue, Mar 25, 2008 at 02:10:55PM -0700, David Roundy wrote:

Hi all,

I'm pushing an analogous patch to Tabbed, but didn't want to push this one, since I haven't tested it. This patch deals with the situation where we our screen width doesn't divide evenly by the number of tabs. Currently, we simply round down on the tab width, with the result being that there is sometimes a gap on the right hand side (e.g. when I have five tabs on my screen with width 1024). This is ugly, and makes it harder to click on that rightmost tab (since the mouse naturally moves into the corner).

So it's a good change to have, if I fixed it properly. But it's almost cosmetic, and simultaneously messes with arithmetic that (if we get it wrong) could make the tabbar completely useless. So please don't apply without testing.

David

Tue Mar 25 14:03:27 PDT 2008 David Roundy * fix bug in TabBarDecoration leading to gaps in corner.

Tested, works fine, applied.