Gtkmm OpenGL widget