diff -r 20dff5f878e1 -r b72d47697644 ui/motif/toolkit.c --- a/ui/motif/toolkit.c Fri Nov 21 15:10:02 2025 +0100 +++ b/ui/motif/toolkit.c Sat Nov 22 18:37:46 2025 +0100 @@ -161,7 +161,7 @@ } } -void ui_exit_mainloop() { +void ui_app_quit() { XtAppSetExitFlag(app); }