porting from deprecated gtkglarea to gtkglext