ui/gtk/window.c

changeset 21
012418e7dc90
parent 18
06be29a56f8b
child 24
06bceda81a03
--- 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--;

mercurial