Comment 2 for bug 8382

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.