void gtkstatusbar::text-pushed (gtkstatusbar *, gguint, gtkstring *, gpointer); void gtkstatusbar::text-popped (gtkstatusbar *, gguint, gtkstring *, gpointer);