Restored the panel positions in an updated environment.

1 files changed, 14 insertions, 0 deletions

diff --git a/src/gui/core/core.c b/src/gui/core/core.c
index a0904f8..8701685 100644
--- a/src/gui/core/core.c
+++ b/src/gui/core/core.c
@@ -123,6 +123,20 @@ bool complete_loading_of_all_gui_components(GGenConfig *config)
     if (result)
         result = _browse_all_item_panels(true, (handle_panel_item_fc)gtk_panel_item_apply_configuration, config);
 
+    /**
+     * Comme la boucle de traitements GTK n'est pas encore lancée, tous les
+     * traitements opérant sur la fenêtre principale n'ont pas abouti.
+     *
+     * Les dimensions finales ne sont ainsi pas encore appliquées, or la
+     * restauration des positions s'appuie dessus.
+     *
+     * On actualise donc les espaces disponibles manuellement avant cette phase
+     * de restauration.
+     */
+
+    while (gtk_events_pending())
+        gtk_main_iteration();
+
     gtk_tiled_grid_restore_positions(grid, config);
 
  no_theme: