From c8ca1f33df27b53c172214f9a7a17f837c96e1b4 Mon Sep 17 00:00:00 2001
From: Jarl Gullberg <jarl.gullberg@gmail.com>
Date: Sun, 1 Oct 2017 20:15:26 +0200
Subject: [PATCH] Remove obsolete and redundant double buffering assignment.

---
 src/OpenTK.GLWidget/GLWidget.cs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/OpenTK.GLWidget/GLWidget.cs b/src/OpenTK.GLWidget/GLWidget.cs
index 1e292e10..da6e580e 100644
--- 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);