From 6f5e45ef2cb451249bf160141fccc0f2a0262357 Mon Sep 17 00:00:00 2001
From: StapleButter <thetotalworm@gmail.com>
Date: Thu, 30 May 2019 23:16:56 +0200
Subject: also, properly delete glarea framebuffers on exit

---
 src/libui_sdl/libui/unix/gl.c | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/libui_sdl/libui/unix/gl.c')

diff --git a/src/libui_sdl/libui/unix/gl.c b/src/libui_sdl/libui/unix/gl.c
index 4a180ef..e1665ee 100644
--- a/src/libui_sdl/libui/unix/gl.c
+++ b/src/libui_sdl/libui/unix/gl.c
@@ -105,6 +105,11 @@ uiGLContext *createGLContext(GtkWidget* widget, int maj, int min)
 void freeGLContext(uiGLContext* glctx)
 {
     if (glctx == NULL) return;
+    
+    gdk_gl_context_make_current(glctx->gctx);
+    _glDeleteRenderbuffers(4, &glctx->renderbuffer[0][0]);
+    _glDeleteFramebuffers(2, &glctx->framebuffer[0]);
+    
     gdk_gl_context_clear_current();
     g_object_unref(glctx->gctx);
     uiFree(glctx);
-- 
cgit v1.2.3