Enable auto-redraw of the GLArea on GTK3

Unfortunately, gtk_gl_area_queue_render doesn't seem to do anything, so
this is needed for now.

diff --git a/libs/gtkutil/glwidget.cpp b/libs/gtkutil/glwidget.cpp
index 31f5bbdabf35cc9a64985d0a330ac34ef61ea741..f463b8b30268f2617a019c62287ba1a54bee8bee 100644 (file)
--- a/libs/gtkutil/glwidget.cpp
+++ b/libs/gtkutil/glwidget.cpp
@@ -80,7 +80,7 @@ ui::GLArea glwidget_new(bool zbuffer)
 {
     auto self = ui::GLArea::from(GTK_GL_AREA(gtk_gl_area_new()));
     gtk_gl_area_set_has_depth_buffer(self, zbuffer);
-    gtk_gl_area_set_auto_render(self, false);
+    gtk_gl_area_set_auto_render(self, true); // FIXME
 
     self.connect("realize", G_CALLBACK(glwidget_context_created), nullptr);
     return self;