Occasional one pixel height discrepancy in the task bar

Could you make a screenshot of the problem, I don't get it with the description ...

Created an attachment (id=184)
Screen shot: Bottom edge of the task bar shows the problem.

It turns out that choosing the theme Crux and then Human doesn't
show the problem every time. I was able to get reproduce the
problem the second time I switched themes. You can see that the
task bar is thinner in two places: under Computer (and icons),
where it was redrawn when the menu went away, and in the middle,
where the right-click popup menu had been.

Similar problem here. Vincent, any idea if the problem is a panel one ? Perhaps
a vlue rounded which result in a missing pixel sometimes ... but that's weird
because that's only on one part of the panel

I can see this too.
I don't think it's the panel fault here since, AFAIK, it doesn't handle theme
stuff itself. But I'm not sure. I think it doesn't appear in other windows
because of the WM decorations (that's just a supposition).
I'll try to look at this later: it's not top priority right now.

seems to be fixed with 2.9 in hoary, I'm closing this bug. Feel free to reopen
if you still get the bug with 2.9 or 2.10 when hoary will be released.