# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1763833066 -3600
# Node ID b72d4769764420716bcf9d5f9c62f8cea32c32c9
# Parent  20dff5f878e1489e3b43c7c25e49fcfd478b602f
add ui_app_quit

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);
 }
 
diff -r 20dff5f878e1 -r b72d47697644 ui/ui/toolkit.h
--- a/ui/ui/toolkit.h	Fri Nov 21 15:10:02 2025 +0100
+++ b/ui/ui/toolkit.h	Sat Nov 22 18:37:46 2025 +0100
@@ -542,6 +542,7 @@
 UIEXPORT void ui_app_exit_on_shutdown(UiBool exitapp);
 
 UIEXPORT void ui_main(void);
+UIEXPORT void ui_app_quit(void);
 UIEXPORT void ui_show(UiObject *obj);
 UIEXPORT void ui_close(UiObject *obj);