comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 1071
- d64c417039bc
- parent 1070
- e097bc7cfec6
- child 1072
- 798952a8f97c
equal
deleted
inserted
replaced
| 1070:e097bc7cfec6 | 1071:d64c417039bc |
|---|---|
| 188 #else | 188 #else |
| 189 gtk_widget_destroy(obj->widget); | 189 gtk_widget_destroy(obj->widget); |
| 190 #endif | 190 #endif |
| 191 } else { | 191 } else { |
| 192 ui_window_close_request(obj); | 192 ui_window_close_request(obj); |
| 193 ui_app_unref(); | |
| 194 } | 193 } |
| 195 } | 194 } |
| 196 | 195 |
| 197 | 196 |
| 198 static gboolean ui_job_finished(void *data) { | 197 static gboolean ui_job_finished(void *data) { |
