diff -r 77b09bb52ca0 -r 794a5c91c479 ui/motif/toolkit.h
--- a/ui/motif/toolkit.h	Sat Apr 05 18:41:30 2014 +0200
+++ b/ui/motif/toolkit.h	Sun Apr 06 13:21:37 2014 +0200
@@ -49,6 +49,8 @@
 void ui_set_active_window(Widget w);
 Widget ui_get_active_window();
 
+void ui_secondary_event_loop(int *loop);
+
 #ifdef	__cplusplus
 }
 #endif