From 568d3fecb767c06ad84e693fc181e5c89b502504 Mon Sep 17 00:00:00 2001
From: the_fiddler <the_fiddler@ebc5dd9b-fb1d-0410-b6f8-d24c324e9604>
Date: Wed, 23 Jan 2008 00:19:22 +0000
Subject: [PATCH] Internal Device getter.

---
 Source/OpenTK/Platform/Windows/WinGLContext.cs | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/Source/OpenTK/Platform/Windows/WinGLContext.cs b/Source/OpenTK/Platform/Windows/WinGLContext.cs
index 4f3e1c5e..2c627fdc 100644
--- a/Source/OpenTK/Platform/Windows/WinGLContext.cs
+++ b/Source/OpenTK/Platform/Windows/WinGLContext.cs
@@ -89,7 +89,7 @@ namespace OpenTK.Platform.Windows
             GL.LoadAll();
             Glu.LoadAll();
 
-            vsync_supported = Wgl.Arb.SupportsExtension(this.deviceContext, "WGL_EXT_swap_control") &&
+            vsync_supported = Wgl.Arb.SupportsExtension(this, "WGL_EXT_swap_control") &&
                 Wgl.Load("wglGetSwapIntervalEXT") && Wgl.Load("wglSwapIntervalEXT");
 
             if (source != null)
@@ -390,6 +390,16 @@ namespace OpenTK.Platform.Windows
 
         #endregion
 
+        #region --- Internal Members ---
+
+        #region internal IntPtr Device
+
+        internal IntPtr Device { get { return deviceContext; } }
+
+        #endregion
+
+        #endregion
+
         #region --- IDisposable Members ---
 
         public void Dispose()