From e4d7c3f8b3afb68196d028dc5f909abd92a0f0bf Mon Sep 17 00:00:00 2001 From: the_fiddler Date: Wed, 23 Jan 2008 00:26:47 +0000 Subject: [PATCH] Removed unused summary. --- Source/OpenTK/Platform/Windows/WglHelper.cs | 41 ++++----------------- 1 file changed, 7 insertions(+), 34 deletions(-) diff --git a/Source/OpenTK/Platform/Windows/WglHelper.cs b/Source/OpenTK/Platform/Windows/WglHelper.cs index 3a082dd4..f0b7fecf 100644 --- a/Source/OpenTK/Platform/Windows/WglHelper.cs +++ b/Source/OpenTK/Platform/Windows/WglHelper.cs @@ -13,9 +13,6 @@ using System.Reflection; namespace OpenTK.Platform.Windows { - /// - /// - /// internal partial class Wgl { #region --- Constructors --- @@ -128,37 +125,7 @@ namespace OpenTK.Platform.Windows #endregion - #region public static partial class Ext -#if false - public static partial class Ext - { - private static string[] extensions; - - /// - /// Checks if an "ARB" extension is supported by the given context. - /// - /// The device context. - /// The extension to check. - /// True if the extension is supported by the given context, false otherwise - public static bool SupportsExtension(IntPtr deviceContext, string ext) - { - if (Wgl.Delegates.wglGetExtensionsStringEXT != null) - { - if (extensions == null || reload_arb_extension_strings) - { - // Defined wrong in wglext.spec... - extensions = Wgl.Ext.GetExtensionsString(deviceContext).Split(" ".ToCharArray(), StringSplitOptions.RemoveEmptyEntries); - Array.Sort(extensions); - reload_arb_extension_strings = false; - } - - return Array.BinarySearch(extensions, ext) != -1; - } - return false; - } - } -#endif - #endregion + #region public static partial class Arb /// Contains ARB extensions for WGL. public static partial class Arb @@ -187,6 +154,10 @@ namespace OpenTK.Platform.Windows } } + #endregion + + #region public static partial class Ext + /// Contains EXT extensions for WGL. public static partial class Ext { @@ -212,5 +183,7 @@ namespace OpenTK.Platform.Windows return false; } } + + #endregion } }