gtk_progress_bar_pulse() doesn't work?

[Vitaly Tishkov <tvv sparc spb su>]

Hi,

It seems to me that gtk_progress_bar_pulse () does nothing.
The test case is below. As far as I understand new_fraction in the test case
should be 0.8 but not 0.2.

Is it a bug in GtkProgressBar or my test case is incorrect?

Thanks,
    Vitaly.


#include <gtk/gtk.h>

int
main (int argc, char** argv)
{
    GtkWidget *widget;

    gtk_init (&argc, &argv);

    widget = gtk_progress_bar_new ();

    gtk_progress_bar_set_fraction (GTK_PROGRESS_BAR (widget), 0.2);
    gtk_progress_bar_set_pulse_step (GTK_PROGRESS_BAR (widget), 0.3);

    gtk_progress_bar_pulse (GTK_PROGRESS_BAR (widget));
    gtk_progress_bar_pulse (GTK_PROGRESS_BAR (widget));

    printf ("new_fraction = %lf\n",
           gtk_progress_bar_get_fraction (GTK_PROGRESS_BAR (widget)));

    gtk_widget_destroy (widget);
    return 0;
}

Output:
new_fraction = 0.200000