Changeset 31900ca551bcb7feafcc024dba2405b559272501

Timestamp:

04/05/10 15:15:32 (3 years ago)

Author:

Nedko Arnaudov <nedko@…>

Children:

c7379123ebe80b29cb840ebb88cc9aef54195d84

Parents:

edf72d39720caf76f89be3b4ffe739f1a89caff8

git-committer:

Nedko Arnaudov <nedko@arnaudov.name> / 2010-04-05T15:15:32Z+0300

Message:

gui: workaround gtk bug that causes progress bar redraw to be skipped sometimes

Files:

• gui/main.c (modified) (1 diff)

gui/main.c

@@ -263 +263 @@
 
   gtk_progress_bar_set_text(GTK_PROGRESS_BAR(g_xrun_progress_bar), status);
+
+  /* workaround a bug in GtkProgressBar. it needs fraction change in order to redraw the changed text
+   * GtkProgressBar tracks the dirty state and it is checked before painting, so sending redraw request
+   * through gtk_widget_queue_draw() will not help because expose handler will ignore the redraw request */
+  gtk_progress_bar_set_fraction(GTK_PROGRESS_BAR(g_xrun_progress_bar), 1.0);
+  gtk_progress_bar_set_fraction(GTK_PROGRESS_BAR(g_xrun_progress_bar), 0.0);
+
   gtk_label_set_text(GTK_LABEL(g_studio_status_label), name);