// The ID returned by g_timeout_add
gboolean pulse_progress_bar(__attribute__((unused)) GtkWidget * widget, __attribute__((unused)) GdkEventButton * event, __attribute__((unused)) gpointer)) GtkWidget * widget, __attribute__((unused)) GdkEventButton * e