comparison: ui/gtk/window.c
ui/gtk/window.c
- changeset 21
- 012418e7dc90
- parent 18
- 06be29a56f8b
- child 24
- 06bceda81a03
equal
deleted
inserted
replaced
| 20:2dda1ad6dc7a | 21:012418e7dc90 |
|---|---|
| 44 static int window_default_width = 650; | 44 static int window_default_width = 650; |
| 45 static int window_default_height = 550; | 45 static int window_default_height = 550; |
| 46 | 46 |
| 47 void ui_exit_event(GtkWidget *widget, gpointer data) { | 47 void ui_exit_event(GtkWidget *widget, gpointer data) { |
| 48 if(wclose_fnc) { | 48 if(wclose_fnc) { |
| 49 // TODO: use UiEvent | |
| 49 wclose_fnc(data, wclose_udata); | 50 wclose_fnc(data, wclose_udata); |
| 50 } | 51 } |
| 51 nwindows--; | 52 nwindows--; |
| 52 if(nwindows == 0) { | 53 if(nwindows == 0) { |
| 53 gtk_main_quit(); | 54 gtk_main_quit(); |
