From d9d9b281c47f79d85395686bf41eb60cc8dfdcf3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Konstantin=20Ka=CC=88fer?= <mail@kkaefer.com>
Date: Mon, 12 May 2014 18:25:58 +0200
Subject: [PATCH] disable texture deleting for now

---
 src/util/texturepool.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/util/texturepool.cpp b/src/util/texturepool.cpp
index 9feadb3db..579f80472 100644
--- a/src/util/texturepool.cpp
+++ b/src/util/texturepool.cpp
@@ -36,7 +36,8 @@ void Texturepool::removeTextureID(GLuint texture_id) {
     }
 
     if (needs_clear) {
-        clearTextureIDs();
+    // TODO: We need to find a better way to deal with texture pool cleanup
+//        clearTextureIDs();
     }
 }