[GtkGLExt] Window does not always update

[Hans Oesterholt-Dijkema <hdnews gawab com>]

Dear All,

I'm a new user of GtkGlExt. I've binded GtkGlExt to mzscheme
as part of my mzgtk2 GTK bindings for mzscheme.

Now I noticed that sometimes the drawing area doesn't get
updated (I'm running on Windows XP here). I noticed it also
e.g. with the "rotating-square.c"  sample provided with the
library. If the square is stopped and the window is moved,
the window doesn't update well.

Is there anything that I'm missing, why the window updating
isn't working as expected?

Thanks in advance for your answer(s),

Hans Oesterholt.