42 static int window_default_height = 550; |
42 static int window_default_height = 550; |
43 |
43 |
44 static void window_close_handler(Widget window, void *udata, void *cdata) { |
44 static void window_close_handler(Widget window, void *udata, void *cdata) { |
45 nwindows--; |
45 nwindows--; |
46 if(nwindows == 0) { |
46 if(nwindows == 0) { |
47 exit(0); |
47 ui_exit_mainloop(); |
48 } |
48 } |
49 } |
49 } |
50 |
50 |
51 UiObject* ui_window(char *title, void *window_data) { |
51 UiObject* ui_window(char *title, void *window_data) { |
52 UcxMempool *mp = ucx_mempool_new(256); |
52 UcxMempool *mp = ucx_mempool_new(256); |