Use gdk_window_process_all_updates; keep animations moving.

diff --git a/src/gtk/gtkio.c.stay b/src/gtk/gtkio.c.stay
index e6d70b5111b3766cfe411fe208ffcf0fcac210b6..198e3db6ea629e111d9adcb2765659635e3488c1 100644 (file)
--- a/src/gtk/gtkio.c.stay
+++ b/src/gtk/gtkio.c.stay
@@ -409,6 +409,9 @@ run_gtk (unsigned long registry, double time)
       if (fdstr[0] != '\0')
        g_free (fdstr);
     }
+  /* Force expose event delivery, so that animations continue to move
+     even when Scheme is not "idle". */
+  gdk_window_process_all_updates ();
 
   /* The c-call primitive has arranged for c-call-continue to run (and
      thus Scm_run_gtk_continue) when Scheme continues. */