updating label text without running gtk_main_iteration()

[Mark Galassi <rosalia lanl gov>]

I'm doing the following:

I read data from a file, and display it in a drawing area with
dgk_draw_whatever() in a tight loop.

I also update some labels with gtk_label_set_text().

Unfortunately I cannot get the labels to draw onto the screen without
doing something like:

    while (gtk_events_pending()) {
      gtk_main_iteration();
    }

at various points in my loop.

I don't want to handle all events, so I'd like to find some command to
just force a redraw of those labels.

Any tips?