diff options
| -rw-r--r-- | src/gui/core/core.c | 14 |
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: |