From a2438f7b80ae71d4f7bdb763c486dc79777fd1f0 Mon Sep 17 00:00:00 2001
From: twinaphex <autechre1024@hotmail.com>
Date: Sun, 14 Apr 2013 00:11:57 +0200
Subject: [PATCH] (RMenu) Fix - don't want to glDeletTexture RGUI texture when
 game texture has to be reinitialized

---
 gfx/gl.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/gfx/gl.c b/gfx/gl.c
index 93b42916d1..988eeb59a2 100644
--- a/gfx/gl.c
+++ b/gfx/gl.c
@@ -1635,8 +1635,14 @@ static inline void gl_reinit_textures(void *data, const video_info_t *video)
       glBindTexture(GL_TEXTURE_2D, 0);
       glDeleteTextures(TEXTURES, gl->texture);
 
+      /* FIXME - why is this done? We don't want to do this on PS3 for re-entrancy 
+       * reasons - also, unlike RGUI, the texture is not uploaded every frame
+       * but only set once outside in menu_init - this reiniting of the RGUI
+       * texture might require a rethink */
+#ifndef __CELLOS_LV2__
 #if defined(HAVE_RGUI) || defined(HAVE_RMENU)
       glDeleteTextures(1, &gl->rgui_texture);
+#endif
 #endif
 
       gl_init_textures(gl, video);