diff options
Diffstat (limited to 'src/main.c')
| -rw-r--r-- | src/main.c | 15 |
1 files changed, 12 insertions, 3 deletions
@@ -161,10 +161,10 @@ int main(int argc, char **argv) char *prj_filename; /* Chemin vers un projet */ int index; /* Indice d'argument */ int ret; /* Bilan d'un appel */ + bool status; /* Bilan d'opérations */ GtkWidget *editor; /* Fenêtre graphique */ GDbServer *server; /* Enregistrements locaux */ GGenConfig *config; /* Configuration globale */ - bool status; /* Bilan d'opérations */ char *author; /* Identification à diffuser */ @@ -278,6 +278,9 @@ int main(int argc, char **argv) if (!batch_mode) { + status = load_all_gui_components(); + if (!status) goto failed_to_load_editor; + editor = create_editor(); if (editor == NULL) goto failed_to_load_editor; @@ -289,8 +292,11 @@ int main(int argc, char **argv) config = get_main_configuration(); - status = complete_loading_of_all_gui_components(config); - if (!status) goto exit_complete_gui; + if (!batch_mode) + { + status = complete_loading_of_all_gui_components(config); + if (!status) goto exit_complete_gui; + } /* Utilisateur représenté */ @@ -387,6 +393,9 @@ int main(int argc, char **argv) failed_to_load_editor: + if (!batch_mode) + unload_all_gui_components(); + unload_all_basic_components(); done: |