Source position: gtkglwidget.inc line 16
function gtk_widget_get_gl_config(
widget: PGtkWidget
):PGdkGLConfig;