Make the editor more responsive by handling GTK events before waiting for

the loop to complete.

src/gtk/editor.cpp

@@ -82,6 +82,8 @@ static gint draw(GtkWidget *widget, GdkEventExpose *event)
         Video::Clear();
         Ticker::TickRender();
         gtk_gl_area_swapbuffers(GTK_GL_AREA(widget));
+        while (g_main_context_iteration(NULL, FALSE))
+            ;
         Ticker::ClampFps(FPS);
     }
 

src/ticker.cpp

@@ -73,6 +73,7 @@ void Ticker::TickGame()
 {
     Profiler::Stop(Profiler::STAT_TICK_FRAME);
     Profiler::Start(Profiler::STAT_TICK_FRAME);
+
     Profiler::Start(Profiler::STAT_TICK_GAME);
 
     data->delta_time = data->timer.GetSeconds();