Source position: gdkgldrawable.inc line 76
function gdk_gl_drawable_is_double_buffered(
gldrawable: PGdkGLDrawable
):gboolean;