Source position: gdkglconfig.inc line 138
function gdk_gl_config_has_stencil_buffer(
glconfig: PGdkGLConfig
):gboolean;