ui/gtk/toolkit.c

changeset 674
51670b0bc625
parent 673
90a32d739b8e
child 699
148618eff948
--- 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);

mercurial