diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2019-11-16 11:28:03 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2019-11-16 11:28:03 (GMT) |
commit | 5350f5992aad4f89d879aefe5a3829af53d09770 (patch) | |
tree | 9067a00b6d96d59787f6a45e095a4c6de03bef05 | |
parent | c613f485dec9f480ba1acde233272b75cb7c11c9 (diff) |
Restored the panel positions in an updated environment.
-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: |