let
treat_gtk_events () =
while
Glib
.
Main
.pending ()
do
ignore (
Glib
.
Main
.iteration
false
)
done