Comment 3 for bug 534083

Sean Neakums (sneakums) wrote :

Here is a patch that fixes the problem.

The linked bug at GNOME, #156332, seems to describe a different problem entirely. In that bug the window's width is changing, whereas this bug is about the window's height.