--- a/ui/gtk/toolkit.c Sun Jul 20 12:27:33 2025 +0200 +++ b/ui/gtk/toolkit.c Sun Jul 20 14:04:19 2025 +0200 @@ -112,10 +112,6 @@ exit_data = userdata; } -void ui_app_onexit(void) { - uic_store_app_properties(); -} - void ui_app_exit_on_shutdown(UiBool exitapp) { exit_on_shutdown = exitapp; } @@ -135,7 +131,7 @@ if(exit_func) { exit_func(NULL, exit_data); } - ui_app_onexit(); + ui_app_save_settings(); } #endif @@ -161,7 +157,7 @@ if(exit_func) { exit_func(NULL, exit_data); } - ui_app_onexit(); + ui_app_save_settings(); #endif if(exit_on_shutdown) { exit(0);