diff -r 3e8b5c9b4033 -r e4198fc2ead4 ui/motif/toolkit.h
--- 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();