Enable auto-redraw of the GLArea on GTK3 175/head
authorAntoine Fontaine <antoine.fontaine@epfl.ch>
Sun, 21 Mar 2021 01:01:54 +0000 (02:01 +0100)
committerAntoine Fontaine <antoine.fontaine@epfl.ch>
Sun, 21 Mar 2021 16:43:35 +0000 (17:43 +0100)
commite3af470d9d19e105c9a9c6228931ee2645d09371
treea98b1df2585eec5393c3bc87b099959013660e1f
parentbdf4441b87c8167dc3316a3a761cf9c15208de90
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.
libs/gtkutil/glwidget.cpp