diff -r 3e8b5c9b4033 -r e4198fc2ead4 ui/motif/toolkit.c --- a/ui/motif/toolkit.c Sun May 11 10:41:29 2014 +0200 +++ b/ui/motif/toolkit.c Sun May 11 11:35:33 2014 +0200 @@ -83,7 +83,12 @@ fprintf(stderr, "UiError: Cannot create event pipe\n"); exit(-1); } - XtAppAddInput(app, event_pipe[0], XtInputReadMask, input_proc, NULL); + XtAppAddInput( + app, + event_pipe[0], + (XtPointer)XtInputReadMask, + input_proc, + NULL); } char* ui_appname() { @@ -111,6 +116,10 @@ uic_store_app_properties(); } +void ui_exit_mainloop() { + XtAppSetExitFlag(app); +} + void ui_secondary_event_loop(int *loop) { while(*loop && !XtAppGetExitFlag(app)) { XEvent event; @@ -124,9 +133,8 @@ XtRealizeWidget(obj->widget); } -void ui_close(UiObject *obj) { - // TODO -} +// implemented in window.c +//void ui_close(UiObject *obj) void ui_set_enabled(UIWIDGET widget, int enabled) { XtSetSensitive(widget, enabled);