Source position: gdkglconfig.inc line 126
function gdk_gl_config_is_double_buffered(
glconfig: PGdkGLConfig
):gboolean;