Statusbar bug?

[Shevek <shevek plaice valhalla net>]

I have a function looking like:
void
status_set (char *str)
{
        while (GTK_STATUSBAR(statusbar)->messages)
                gtk_statusbar_pop (GTK_STATUSBAR (statusbar), 1);
        gtk_statusbar_push(GTK_STATUSBAR(statusbar), 1, str);
}

And if it is called when the status bar is hidden, then when the status
bar is redrawn, sometimes there are two overlaid pieces of text in the
status bar. However, forcing a redraw of the window clears it again (eg
dragging another window on top then removing it)

gtk+-1.0.0, no patches
gcc2.7.2.2
olvwm
plain C

--
S.
GM/CS/MU -d+ H+>++ s+: !g p2 au0 !a w+++ v-(---) C++++$ UL++++$ UB+
US++ UI+++$ P+>++++ L++++$ 3+ E--- N+ K !W(-----) M+(-) !V -po+ Y+ t+
5++ !j !R G' !tv b+++ D++ B--- e+ u+* h++ f? r-- n---- y?