--- 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();