OpenGL widget for GTK+ GUI toolkit
