diff -r 2dda1ad6dc7a -r 012418e7dc90 ui/gtk/window.c
--- a/ui/gtk/window.c	Wed Apr 02 20:31:47 2014 +0200
+++ b/ui/gtk/window.c	Thu Apr 03 11:12:22 2014 +0200
@@ -46,6 +46,7 @@
 
 void ui_exit_event(GtkWidget *widget, gpointer data) {
     if(wclose_fnc) {
+        // TODO: use UiEvent
         wclose_fnc(data, wclose_udata);
     }
     nwindows--;