Remove obsolete and redundant double buffering assignment.

diff --git a/src/OpenTK.GLWidget/GLWidget.cs b/src/OpenTK.GLWidget/GLWidget.cs
index 1e292e10a6e43a085fe3d204c7eed737091f1b08..da6e580e0c1f67a24a34a0e10586a5e881d1b600 100644 (file)
--- a/src/OpenTK.GLWidget/GLWidget.cs
+++ b/src/OpenTK.GLWidget/GLWidget.cs
@@ -60,8 +60,6 @@ namespace OpenTK
         /// </param>
         public GLWidget(GraphicsMode graphicsMode, int glVersionMajor, int glVersionMinor, GraphicsContextFlags graphicsContextFlags)
         {
-            this.DoubleBuffered = false;
-
             GraphicsContextFlags = graphicsContextFlags;
 
             AddTickCallback(UpdateFrameTime);