| 48 void ui_window_widget_destroy(UiObject *obj) { |
48 void ui_window_widget_destroy(UiObject *obj) { |
| 49 XtDestroyWidget(obj->widget); |
49 XtDestroyWidget(obj->widget); |
| 50 uic_object_destroy(obj); |
50 uic_object_destroy(obj); |
| 51 nwindows--; |
51 nwindows--; |
| 52 if(nwindows == 0) { |
52 if(nwindows == 0) { |
| 53 ui_exit_mainloop(); |
53 ui_app_quit(); |
| 54 } |
54 } |
| 55 } |
55 } |
| 56 |
56 |
| 57 static void window_close_handler(Widget window, void *udata, void *cdata) { |
57 static void window_close_handler(Widget window, void *udata, void *cdata) { |
| 58 UiObject *obj = udata; |
58 UiObject *obj = udata; |