ui/motif/toolkit.h

changeset 36
e4198fc2ead4
parent 34
0ec8a5f17782
child 46
4a5e0b9b6992
--- a/ui/motif/toolkit.h	Sun May 11 10:41:29 2014 +0200
+++ b/ui/motif/toolkit.h	Sun May 11 11:35:33 2014 +0200
@@ -54,6 +54,8 @@
     void          *finish_data;
 } UiJob;
 
+void ui_exit_mainloop();
+
 void ui_set_active_window(Widget w);
 Widget ui_get_active_window();
 

mercurial