[GtkGLExt] memory leak

[Francesco Sepic <sepic dimi uniud it>]

Hi, i have tried the examples in the gtkglext package, specifically
"pixmap" and "pixmap-mixed" because i need the ability to render in a
pixmap in my OpenGL program.
I have noticed that if you keep resizing the window, the memory usage of
X increase rapidly until it crash. Maybe the problem is because the
OpenGL resources associated with the pixmaps are not destroyed, but it's
only a guess. Any clue?

Thank in advance, and sorry for my english.

Saluti
-- 
Francesco Sepic <sepic dimi uniud it>