comparison: ui/gtk/window.c
ui/gtk/window.c
- changeset 1137
- db9c3838fd4d
- parent 1130
- f0def0c24ae6
equal
deleted
inserted
replaced
| 1136:e6fc42b4248d | 1137:db9c3838fd4d |
|---|---|
| 124 #else | 124 #else |
| 125 gtk_widget_hide(obj->widget); | 125 gtk_widget_hide(obj->widget); |
| 126 #endif | 126 #endif |
| 127 return TRUE; | 127 return TRUE; |
| 128 } else { | 128 } else { |
| 129 // this cleans up any widget references from the context | |
| 129 uic_context_prepare_close(obj->ctx); | 130 uic_context_prepare_close(obj->ctx); |
| 131 ui_window_widget_destroy(obj); | |
| 130 return FALSE; | 132 return FALSE; |
| 131 } | 133 } |
| 132 } | 134 } |
| 133 | 135 |
| 134 static void window_onclose_callback(UiObject *obj) { | 136 static void window_onclose_callback(UiObject *obj) { |
