also, properly delete glarea framebuffers on exit

2019-05-30 23:16:56 +02:00 · 2019-05-30 23:16:56 +02:00 · 6f5e45ef2c
parent b9529e8361
commit 6f5e45ef2c
1 changed files with 5 additions and 0 deletions
--- 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);