OpenTK.Platform.X11.Glx.DestroyContext C# (CSharp) Method

        public static void DestroyContext(IntPtr dpy, ContextHandle context)
        {
            DestroyContext(dpy, context.Handle);
        }

 private void Dispose(bool manuallyCalled)
 {
     if (!IsDisposed)
     {
         if (manuallyCalled)
         {
             IntPtr display = Display;
             if (IsCurrent)
             {
                 using (new XLock(display))
                 {
                     Glx.MakeCurrent(display, IntPtr.Zero, IntPtr.Zero);
                 }
             }
             using (new XLock(display))
             {
                 Glx.DestroyContext(display, Handle);
             }
         }
     }
     else
     {
         Debug.Print("[Warning] {0} leaked.", this.GetType().Name);
     }
     IsDisposed = true;
 }