35:3e8b5c9b4033 | 36:e4198fc2ead4 |
---|---|
52 void *job_data; | 52 void *job_data; |
53 ui_callback finish_callback; | 53 ui_callback finish_callback; |
54 void *finish_data; | 54 void *finish_data; |
55 } UiJob; | 55 } UiJob; |
56 | 56 |
57 void ui_exit_mainloop(); | |
58 | |
57 void ui_set_active_window(Widget w); | 59 void ui_set_active_window(Widget w); |
58 Widget ui_get_active_window(); | 60 Widget ui_get_active_window(); |
59 | 61 |
60 void ui_secondary_event_loop(int *loop); | 62 void ui_secondary_event_loop(int *loop); |
61 | 63 |