--- 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--;