From 8b1be5c49a5663b1f75f18baec4019a64e35c599 Mon Sep 17 00:00:00 2001
From: thefiddler <stapostol@gmail.com>
Date: Wed, 23 Jul 2014 21:20:28 +0200
Subject: [PATCH] [OpenTK] Dispose() now clear the list of resources

---
 Source/OpenTK/Platform/PlatformFactoryBase.cs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Source/OpenTK/Platform/PlatformFactoryBase.cs b/Source/OpenTK/Platform/PlatformFactoryBase.cs
index a97c2da9..69341d7a 100644
--- a/Source/OpenTK/Platform/PlatformFactoryBase.cs
+++ b/Source/OpenTK/Platform/PlatformFactoryBase.cs
@@ -114,11 +114,13 @@ namespace OpenTK.Platform
                         {
                             resource.Dispose();
                         }
+                        Resources.Clear();
                     }
                 }
                 else
                 {
-                    Debug.Print("[OpenTK] {0} leaked, did you forget to call Dispose()?", GetType());
+                    Debug.Print("[OpenTK] {0} leaked with {1} live resources, did you forget to call Dispose()?",
+                        GetType().FullName, Resources.Count);
                 }
                 IsDisposed = true;
             }