Comment 7 for bug 955293

I'm running Xubuntu 12.04 beta2.

I saw this problem last night.

7.0.24 is what was installed with Xubuntu, I tried 7.0.25 and the problem still happens.

I found resizing the window (but not using the maximize) would make the menu rerender correctly.