WIP: cleaning the 'gtk_widget_set_size_request()'

include/widget.h

@@ -37,6 +37,9 @@
 //                            called in dispatch.c
 //                          functions are in topbar.c
 
+#define W_MY_SCREEN_1920 1920   //   1920 x 960  =  ad hoc  (pour mon écran))
+#define H_MY_SCREEN_1000 1000
+
 void widget_design_main_window   (GtkWindow *main_window);
 void widget_design_dialog_window (GtkWindow *main_window, GtkWindow *dialog_window);
 void widget_design_text_window   (GtkWindow *main_window, GtkWindow *text_window);
@@ -72,8 +75,20 @@ void *widget_get_data_page();   //  in : src/widget/data /dispatch.c
 
 void *widget_get_stock_text (gchar *text_name);
 
-#define W_IMAGE_LOCAL 1920 / 32  //   1920 x 960  =  ad hoc  (pour mon écran)
+#define W_TREE_160 160
-#define H_IMAGE_LOCAL 800
+#define W_DO_UNDO_REDO_BOX_1300 1300
+#define H_XYZ_BOX_200 200
+#define H_OBJECTS_SITUATIONS_130 130
+#define W_COMPARATOR_64 64
+#define W_RULES_USE_90 90
+
+#define W_IMAGE_800 800
+#define W_IMAGE_100 100
+
+#define ARBITRARY_PARTITION_1600 1600
+#define ARBITRARY_PARTITION_750 750
+#define ARBITRARY_PARTITION_600 600
+
 
 /******************************************************************************/
 /*                                   S Y N T H                                */

src/graphics/stack.c

@@ -28,6 +28,8 @@
 #include "../../include/graphics.h"
 #include "../../include/signal.h"
 
+#define GL_AREA_1000 1000
+
 struct stack_index_t {
     long stack_id;
     void *container_widget;
@@ -297,7 +299,7 @@ bool graphics_setup_glarea(int target_mode, GtkWidget *target_widget)
     gl_area = GTK_WIDGET(gtk_gl_area_new());
     assert(gl_area);
 
-    gtk_widget_set_size_request(gl_area, 1000, 1000);
+    gtk_widget_set_size_request(gl_area, GL_AREA_1000, GL_AREA_1000);
     gtk_gl_area_set_auto_render(GTK_GL_AREA(gl_area), true);
     gtk_widget_set_hexpand(gl_area, TRUE);
     gtk_widget_set_vexpand(gl_area, TRUE);

src/widget/data/dispatch.c

@@ -34,30 +34,18 @@
 // "graph", "chart", "plot" and "diagram" are ambiguous terms, sometimes used interchangeably.
 // https://www.mathsisfun.com/data/data-graph.php
 
-#define PARTITION_A 700
+#define PARTITION_700 700
-#define PARTITION_B 700
+
 
 void *widget_get_data_page()
 {
     GtkWidget *measures_and_results = gtk_paned_new (GTK_ORIENTATION_VERTICAL);
     gtk_paned_set_start_child (GTK_PANED(measures_and_results), GTK_WIDGET (widget_get_measures_page()));
     gtk_paned_set_end_child (GTK_PANED(measures_and_results), GTK_WIDGET (widget_get_results_page()));
-    gtk_paned_set_position (GTK_PANED (measures_and_results), PARTITION_B);
+    gtk_paned_set_position (GTK_PANED (measures_and_results), PARTITION_700);
     gtk_paned_set_shrink_start_child (GTK_PANED (measures_and_results), FALSE);
     gtk_paned_set_shrink_end_child (GTK_PANED (measures_and_results), FALSE);
 
     return measures_and_results;
 }
 
-/*void *widget_get_data_page()
-{
-    GtkWidget *measures_and_data_horizontal_pane = gtk_paned_new (GTK_ORIENTATION_HORIZONTAL);
-    gtk_paned_set_start_child (GTK_PANED(measures_and_data_horizontal_pane), GTK_WIDGET (widget_get_stock_and_analysis_page()));
-    gtk_paned_set_end_child (GTK_PANED(measures_and_data_horizontal_pane), GTK_WIDGET (widget_get_operations_on_results_page()));
-    gtk_paned_set_position (GTK_PANED (measures_and_data_horizontal_pane), PARTITION_A);
-    gtk_paned_set_shrink_start_child (GTK_PANED (measures_and_data_horizontal_pane), FALSE);
-    gtk_paned_set_shrink_end_child (GTK_PANED (measures_and_data_horizontal_pane), FALSE);
-    gtk_widget_set_size_request (measures_and_data_horizontal_pane, 1920, 800);
-
-    return measures_and_data_horizontal_pane;
-}*/

src/widget/data/measure.c

@@ -58,11 +58,8 @@ void *widget_get_measures_page ()
     gtk_box_append (data_box, GTK_WIDGET (frame_rule_topic));
 
     GtkWidget* frame_measures = gtk_frame_new ("measures");
-//    GtkBox *measures_box = GTK_BOX (gtk_box_new (GTK_ORIENTATION_VERTICAL, 8));
     gtk_frame_set_child (GTK_FRAME (frame_measures), GTK_WIDGET (data_box));
 
-//    gtk_widget_set_size_request (GTK_WIDGET (data_box), 200, 0);
-
     return GTK_WIDGET (frame_measures);
 }
 

src/widget/data/results.c

@@ -52,7 +52,7 @@ void *widget_get_results_page () {
     gtk_box_append (data_type_box, GTK_WIDGET (gtk_picture_new_for_filename
         ("/home/jean/Gem-Graph/gem-graph-client/data/image/data correlations (4, horizontal).png")));
 
-    gtk_widget_set_size_request (GTK_WIDGET (data_box), 1800, 700);
+    gtk_widget_set_size_request (GTK_WIDGET (data_box), 1800, 700); // provisoire TODO
     return GTK_WIDGET (data_box);
 }
 

src/widget/rules/selected/image.c

@@ -36,7 +36,7 @@ static void *get_rule_before()
 {
     GtkWidget *rule_before = GTK_WIDGET (gtk_picture_new_for_filename \
         ("/home/jean/Gem-Graph/gem-graph-client/data/image/AMP.png"));
-    gtk_widget_set_size_request (GTK_WIDGET (rule_before), 0, H_IMAGE_LOCAL);
+    gtk_widget_set_size_request (GTK_WIDGET (rule_before), 0, W_IMAGE_800); //  OK (provisoire)
     return GTK_WIDGET (rule_before);
 }
 
@@ -44,7 +44,7 @@ static void *get_rule_after()
 {
     GtkWidget *rule_after = GTK_WIDGET (gtk_picture_new_for_filename \
         ("/home/jean/Gem-Graph/gem-graph-client/data/image/ADP.png"));
-    gtk_widget_set_size_request (GTK_WIDGET (rule_after), 0, H_IMAGE_LOCAL);
+    gtk_widget_set_size_request (GTK_WIDGET (rule_after), 0, W_IMAGE_800); //  OK (provisoire))
     return GTK_WIDGET (rule_after);
 }
 
@@ -61,7 +61,7 @@ static GtkBox *rec_XYZ_box()
     GtkWidget *scroll_X = gtk_scrollbar_new (GTK_ORIENTATION_VERTICAL, X_adjust);
     GtkWidget *scroll_Y = gtk_scrollbar_new (GTK_ORIENTATION_VERTICAL, Y_adjust);
     GtkWidget *scroll_Z = gtk_scrollbar_new (GTK_ORIENTATION_VERTICAL, Z_adjust);
-  gtk_widget_set_size_request (GTK_WIDGET (scroll_X), 1, 400);
+    gtk_widget_set_size_request (GTK_WIDGET (scroll_X), 0, H_XYZ_BOX_200);  //  OK  (required)
 
     gtk_box_append (XYZ_scrollbar_box, GTK_WIDGET (gtk_label_new ("  ")));  //  AD HOC (pour "centrer")
     gtk_box_append (XYZ_scrollbar_box, scroll_X);
@@ -84,7 +84,6 @@ static GtkBox *rec_ZOOM_box()
     GtkWidget *ZOOM_Label = GTK_WIDGET (gtk_label_new (\
     "\n   TOOLS\n      ---\n   zoom\n      ---\n   space\n   struct.\n\
       ---\n  arrows\n   struct.\n      ---\n   orient\n    state\n in space\n"));
-  gtk_widget_set_size_request (GTK_WIDGET (ZOOM_box), 10, 80);
     gtk_box_append (ZOOM_box, ZOOM_Label);
     return ZOOM_box;
 }

src/widget/rules/tree_tools/compare.c

@@ -31,8 +31,6 @@
 #include "../../../../include/widget.h"
 #include "../../../../include/signal.h"
 
-#define W_IMAGE_ABSURD 1920 / 32   //   1920 x 960    ad hoc  (pour mon écran)
-#define H_IMAGE_ABSURD 960
 #define MAX_SIZE 255
 
 // -----------------------------------------------------------------------------
@@ -150,10 +148,10 @@ static GtkWidget *do_rtfd (Stack stack_b);
 void *widget_get_an_impression_of_what_a_rules_comparator_could_be(){
 
     GtkBox *compare_left = GTK_BOX (gtk_box_new (GTK_ORIENTATION_VERTICAL, 2));
-    gtk_widget_set_size_request (GTK_WIDGET (compare_left), W_IMAGE_ABSURD, H_IMAGE_ABSURD);
+    gtk_widget_set_size_request (GTK_WIDGET (compare_left), W_COMPARATOR_64, 0);
 
     GtkBox *compare_right = GTK_BOX (gtk_box_new (GTK_ORIENTATION_VERTICAL, 2));
-    gtk_widget_set_size_request (GTK_WIDGET (compare_right), W_IMAGE_ABSURD, H_IMAGE_ABSURD);
+    gtk_widget_set_size_request (GTK_WIDGET (compare_right), W_COMPARATOR_64, 0);
 
     initialize(&stack_b);
 

src/widget/rules/tree_tools/freq.c

@@ -43,7 +43,7 @@ void *widget_get_rules_use ()
 
 //    GtkWidget *frame_rules_use = gtk_frame_new ("  Rules use");
 //    gtk_frame_set_child (GTK_FRAME (frame_rules_use), GTK_WIDGET (scroll_rules_use));
-    gtk_widget_set_size_request (GTK_WIDGET (scroll_rules_use), W_IMAGE_LOCAL * 1.5, 0);//H_IMAGE_LOCAL);
+    gtk_widget_set_size_request (GTK_WIDGET (scroll_rules_use), W_RULES_USE_90, 0);  //  OK (required)
     gtk_scrolled_window_set_child (GTK_SCROLLED_WINDOW (scroll_rules_use), GTK_WIDGET (rules_use_box));
 
 

src/widget/rules/tree_tools/pilot_box.c

@@ -47,15 +47,22 @@ void *widget_get_rules_pilot_box ()
     return rules_pilot_box;
 }
 
+static void *get_image_many_bars_vertical ()
+{
+    GtkBox *image_many_bars_vertical_box = GTK_BOX (gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 0));
+    gtk_box_append (image_many_bars_vertical_box, GTK_WIDGET (gtk_picture_new_for_filename
+        ("/home/jean/Gem-Graph/gem-graph-client/data/image/data many bars vertical.png")));
+    gtk_widget_set_size_request (GTK_WIDGET (image_many_bars_vertical_box), W_IMAGE_100, 0);
+    return image_many_bars_vertical_box;
+}
+
 void *widget_get_rules_tree_tools ()
 {
     GtkBox *rules_tree_box = GTK_BOX (gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 0));
     gtk_box_append (rules_tree_box, GTK_WIDGET (widget_get_user_rules_tree()));
-    gtk_box_append (rules_tree_box, GTK_WIDGET (gtk_picture_new_for_filename
+    gtk_box_append (rules_tree_box, GTK_WIDGET (get_image_many_bars_vertical()));
-        ("/home/jean/Gem-Graph/gem-graph-client/data/image/data many bars vertical.png")));
     gtk_box_append (rules_tree_box, GTK_WIDGET (widget_get_rules_use()));
     gtk_box_append (rules_tree_box, GTK_WIDGET (widget_get_an_impression_of_what_a_rules_comparator_could_be()));
-    gtk_widget_set_size_request (GTK_WIDGET (rules_tree_box), W_IMAGE_LOCAL * 7.4, 0);//H_IMAGE_LOCAL);
     return GTK_WIDGET (rules_tree_box);
 }
 

src/widget/state/bottom.c

@@ -31,7 +31,6 @@
 #include "../../../include/widget.h"
 #include "../../../include/signal.h"
 
-#define LOWER_COMPARTMENT_PARTITION 1300
 
 /* L'image de l'état de l'espace (au centre) fait partie d'un panneau "milieu",
  * qui est encadré par les deux panneaux: "haut" et "bas".
@@ -65,7 +64,7 @@ void *widget_get_sequence_control()
                   GTK_WIDGET (gtk_scrollbar_new (GTK_ORIENTATION_HORIZONTAL, adjust)));
   gtk_box_append (DO_UNDO_REDO_box, GTK_WIDGET(gtk_label_new ("\
                   DO    -    UNDO    -    REDO")));
-  gtk_widget_set_size_request (GTK_WIDGET (DO_UNDO_REDO_box), LOWER_COMPARTMENT_PARTITION, 0);
+  gtk_widget_set_size_request (GTK_WIDGET (DO_UNDO_REDO_box), W_DO_UNDO_REDO_BOX_1300, 0);  //  OK (required)
 
   gtk_box_append (SEQUENCE_CONTROL_box, GTK_WIDGET (DO_UNDO_REDO_box));
   gtk_box_append (SEQUENCE_CONTROL_box, GTK_WIDGET (gtk_button_new_with_label ("R U N   /   S T O P")));

src/widget/state/middle.c

@@ -32,19 +32,6 @@
 #include "../../../include/signal.h"
 
 
-/* L'image de l'état de l'espace (au centre) fait partie d'un panneau "milieu",
- * qui est encadré par les deux panneaux: "haut" et "bas".
- * La partie droite du panneau "milieu" est elle-même un panneau de commandes.
- *
- * Si l'on nomme ces panneaux selon leur fonction, on trouvera:
- * - CONTROL ou EDIT en bas permet de contrôler / choisir un état et / ou de l'éditer.
- *      ce panneau peut avoir deux apparences (et fonctions) différentes:
- *      - en mode EDIT, seuls les outils d'édition de l'état sont disponibles
- *      - en mode EXEC, seuls les outils de déplacement dans la séquence sont disponibles
- * - CAMERA à droite permet de choisir la position de la caméra
- * - CONTRAST en haut permet de modifier un à un les contrastes des objets et des situations
- *      afin de mieux mettre en évidence l'objet ou le phénomène d'intérêt   */
-
 static GtkBox *rec_XYZ_box()
 {
     GtkBox *XYZ_labels_box = GTK_BOX (gtk_box_new (GTK_ORIENTATION_VERTICAL, 2)); // spacing = 2
@@ -57,7 +44,7 @@ static GtkBox *rec_XYZ_box()
     GtkWidget *scroll_X = gtk_scrollbar_new (GTK_ORIENTATION_VERTICAL, X_adjust);
     GtkWidget *scroll_Y = gtk_scrollbar_new (GTK_ORIENTATION_VERTICAL, Y_adjust);
     GtkWidget *scroll_Z = gtk_scrollbar_new (GTK_ORIENTATION_VERTICAL, Z_adjust);
-  gtk_widget_set_size_request (GTK_WIDGET (scroll_X), 1, 400);
+    gtk_widget_set_size_request (GTK_WIDGET (scroll_X), 1, H_XYZ_BOX_200);  //  (provisoire)  TODO
 
     gtk_box_append (XYZ_scrollbar_box, GTK_WIDGET (gtk_label_new ("  ")));  //  AD HOC (pour "centrer")
     gtk_box_append (XYZ_scrollbar_box, scroll_X);
@@ -80,7 +67,7 @@ static GtkBox *rec_ZOOM_box()
     GtkWidget *ZOOM_Label = GTK_WIDGET (gtk_label_new (\
     "\n   TOOLS\n      ---\n   zoom\n      ---\n   space\n   struct.\n\
       ---\n  arrows\n   struct.\n      ---\n   orient\n    state\n in space\n"));
-  gtk_widget_set_size_request (GTK_WIDGET (ZOOM_box), 10, 80);
+//    gtk_widget_set_size_request (GTK_WIDGET (ZOOM_box), 10, 80);
     gtk_box_append (ZOOM_box, ZOOM_Label);
     return ZOOM_box;
 }

src/widget/state/top.c

@@ -31,7 +31,6 @@
 #include "../../../include/widget.h"
 #include "../../../include/signal.h"
 
-#define UPPER_COMPARTMENT_PARTITION 600
 
 /******************************************************************************/
 /*                               O B J E C T S                                */
@@ -201,15 +200,15 @@ void *widget_get_graph_view_control()
   gtk_scrolled_window_set_child (GTK_SCROLLED_WINDOW (scroll_situations), frame_situations);
 
 
-  GtkWidget *objects_and_situations_horizontal_pane = gtk_paned_new (GTK_ORIENTATION_HORIZONTAL);
+  GtkWidget *objects_vs_situations_horizontal_pane = gtk_paned_new (GTK_ORIENTATION_HORIZONTAL);
-  gtk_paned_set_start_child (GTK_PANED(objects_and_situations_horizontal_pane), GTK_WIDGET (scroll_objects));
+  gtk_paned_set_start_child (GTK_PANED(objects_vs_situations_horizontal_pane), GTK_WIDGET (scroll_objects));
-  gtk_paned_set_end_child (GTK_PANED(objects_and_situations_horizontal_pane), GTK_WIDGET (scroll_situations));
+  gtk_paned_set_end_child (GTK_PANED(objects_vs_situations_horizontal_pane), GTK_WIDGET (scroll_situations));
-  gtk_paned_set_position (GTK_PANED (objects_and_situations_horizontal_pane), UPPER_COMPARTMENT_PARTITION);
+  gtk_paned_set_position (GTK_PANED (objects_vs_situations_horizontal_pane), ARBITRARY_PARTITION_600);
-  gtk_paned_set_shrink_start_child (GTK_PANED (objects_and_situations_horizontal_pane), FALSE);
+  gtk_paned_set_shrink_start_child (GTK_PANED (objects_vs_situations_horizontal_pane), FALSE);
-  gtk_paned_set_shrink_end_child (GTK_PANED (objects_and_situations_horizontal_pane), FALSE);
+  gtk_paned_set_shrink_end_child (GTK_PANED (objects_vs_situations_horizontal_pane), FALSE);
-  gtk_widget_set_size_request (objects_and_situations_horizontal_pane, 0, 127);
+  gtk_widget_set_size_request (objects_vs_situations_horizontal_pane, 0, H_OBJECTS_SITUATIONS_130); // OK (required))
 
-  return objects_and_situations_horizontal_pane;
+  return objects_vs_situations_horizontal_pane;
 }
 
 

src/widget/synth/dispatch.c

@@ -41,9 +41,9 @@ static void *widget_get_space_vs_non_time_dependent_analysis()
     gtk_paned_set_end_child (GTK_PANED (space_vs_non_time_dependent_analysis),
                              GTK_WIDGET (gtk_picture_new_for_filename
         ("/home/jean/Gem-Graph/gem-graph-client/data/image/data bar graph vertical.png")));
-    gtk_paned_set_position (GTK_PANED (space_vs_non_time_dependent_analysis), 1600);
+    gtk_paned_set_position (GTK_PANED (space_vs_non_time_dependent_analysis), ARBITRARY_PARTITION_1600);
-    gtk_paned_set_shrink_start_child (GTK_PANED (space_vs_non_time_dependent_analysis), FALSE);
+    gtk_paned_set_shrink_start_child (GTK_PANED (space_vs_non_time_dependent_analysis), TRUE);
-    gtk_paned_set_shrink_end_child (GTK_PANED (space_vs_non_time_dependent_analysis), FALSE);
+    gtk_paned_set_shrink_end_child (GTK_PANED (space_vs_non_time_dependent_analysis), TRUE);
 
     return space_vs_non_time_dependent_analysis;
 }
@@ -55,10 +55,41 @@ void *widget_get_synth_page()
                                GTK_WIDGET (widget_get_space_vs_non_time_dependent_analysis()));
     gtk_paned_set_end_child (GTK_PANED (space_and_analysis_vs_history),
                              GTK_WIDGET (widget_get_time_dependent_results_and_time_controls()));
-    gtk_paned_set_position (GTK_PANED (space_and_analysis_vs_history), 600);
+    gtk_paned_set_position (GTK_PANED (space_and_analysis_vs_history), ARBITRARY_PARTITION_750);
     gtk_paned_set_shrink_start_child (GTK_PANED (space_and_analysis_vs_history), FALSE);
     gtk_paned_set_shrink_end_child (GTK_PANED (space_and_analysis_vs_history), FALSE);
+    gtk_widget_set_size_request (space_and_analysis_vs_history, 0, H_MY_SCREEN_1000); // OK (required))
 
     return space_and_analysis_vs_history;
 }
 
+/*
+jean@n-guix-port:~/Gem-Graph/gem-graph-client [env] $ grep -r 'gtk_paned_set_position'
+grep: bin/gem-graph-client : fichiers binaires correspondent
+src/widget/data/dispatch.c:               gtk_paned_set_position (GTK_PANED (measures_and_results), PARTITION_B);
+src/widget/data/dispatch.c:               gtk_paned_set_position (GTK_PANED (measures_and_data_horizontal_pane), PARTITION_A);
+src/widget/state/top.c:                   gtk_paned_set_position (GTK_PANED (objects_and_situations_horizontal_pane), UPPER_COMPARTMENT_PARTITION);
+src/widget/rules/dispatch.c:              gtk_paned_set_position (tree_vs_selected, 340); //  WARNING : c'est une position "absolue"
+src/widget/rules/selected/dispatch.c:     gtk_paned_set_position (rule_itself_vs_explore_edit_pane, 640); //  WARNING : c'est une position "absolue"
+src/widget/synth/dispatch.c:              gtk_paned_set_position (GTK_PANED (space_vs_non_time_dependent_analysis), 1600);
+src/widget/synth/dispatch.c:              gtk_paned_set_position (GTK_PANED (space_and_analysis_vs_history), 600);
+
+jean@n-guix-port:~/Gem-Graph/gem-graph-client [env] $ grep -r 'gtk_paned_set_shrink_'
+grep: bin/gem-graph-client : fichiers binaires correspondent
+src/widget/data/dispatch.c:               gtk_paned_set_shrink_start_child (GTK_PANED (measures_and_results), FALSE);
+src/widget/data/dispatch.c:               gtk_paned_set_shrink_end_child   (GTK_PANED (measures_and_results), FALSE);
+src/widget/data/dispatch.c:               gtk_paned_set_shrink_start_child (GTK_PANED (measures_and_data_horizontal_pane), FALSE);
+src/widget/data/dispatch.c:               gtk_paned_set_shrink_end_child   (GTK_PANED (measures_and_data_horizontal_pane), FALSE);
+src/widget/state/top.c:                   gtk_paned_set_shrink_start_child (GTK_PANED (objects_and_situations_horizontal_pane), FALSE);
+src/widget/state/top.c:                   gtk_paned_set_shrink_end_child   (GTK_PANED (objects_and_situations_horizontal_pane), FALSE);
+src/widget/rules/dispatch.c:              gtk_paned_set_shrink_start_child (tree_vs_selected, FALSE);
+src/widget/rules/dispatch.c:              gtk_paned_set_shrink_end_child   (tree_vs_selected, FALSE);
+src/widget/rules/selected/dispatch.c:     gtk_paned_set_shrink_start_child (rule_itself_vs_explore_edit_pane, FALSE);
+src/widget/rules/selected/dispatch.c:     gtk_paned_set_shrink_end_child   (rule_itself_vs_explore_edit_pane, FALSE);
+src/widget/synth/dispatch.c:              gtk_paned_set_shrink_start_child (GTK_PANED (space_vs_non_time_dependent_analysis), TRUE);
+src/widget/synth/dispatch.c:              gtk_paned_set_shrink_end_child   (GTK_PANED (space_vs_non_time_dependent_analysis), TRUE);
+src/widget/synth/dispatch.c:              gtk_paned_set_shrink_start_child (GTK_PANED (space_and_analysis_vs_history), FALSE);
+src/widget/synth/dispatch.c:              gtk_paned_set_shrink_end_child   (GTK_PANED (space_and_analysis_vs_history), FALSE);
+
+*/
+

src/widget/synth/time.c

@@ -33,7 +33,10 @@
 
 void *widget_get_time_dependent_results_and_time_controls()
 {
-    return GTK_WIDGET (gtk_picture_new_for_filename
+    GtkBox *time_box = GTK_BOX (gtk_box_new (GTK_ORIENTATION_VERTICAL, 2));
-        ("/home/jean/Gem-Graph/gem-graph-client/data/image/data évolutions parallèles (n > 30) étendu.png"));
+    gtk_box_append (time_box, GTK_WIDGET(widget_get_sequence_control()));
+    gtk_box_append (time_box, GTK_WIDGET(gtk_picture_new_for_filename
+        ("/home/jean/Gem-Graph/gem-graph-client/data/image/data évolutions parallèles (n > 30) étendu.png")));
+    return time_box;
 }
 

src/widget/tree.c

@@ -106,17 +106,17 @@ void *widget_get_user_rules_tree ()
     GtkSingleSelection *selection_model = gtk_single_selection_new (G_LIST_MODEL (tree_model));
     gtk_single_selection_set_autoselect (selection_model, FALSE);
     gtk_single_selection_set_can_unselect (selection_model, TRUE);
-  GtkWidget *list_view = gtk_list_view_new (GTK_SELECTION_MODEL (selection_model), GTK_LIST_ITEM_FACTORY (factory));
+    GtkWidget *list_view = gtk_list_view_new (GTK_SELECTION_MODEL (selection_model),
+                                              GTK_LIST_ITEM_FACTORY (factory));
     GtkScrolledWindow *scrolled_window = GTK_SCROLLED_WINDOW (gtk_scrolled_window_new());
-// Allocation height too small. Tried to allocate 1922x1030, but GtkNotebook 0x25cd4c0 needs at least 1922x1064.
-// even if I remove (comment) the next line :
     gtk_scrolled_window_set_child (scrolled_window, list_view);
     gtk_scrolled_window_set_policy (scrolled_window, GTK_POLICY_AUTOMATIC, GTK_POLICY_AUTOMATIC);
     gtk_widget_set_vexpand (GTK_WIDGET (scrolled_window), TRUE);
     gtk_widget_set_visible (GTK_WIDGET (scrolled_window), TRUE);
     gtk_widget_set_visible (GTK_WIDGET (list_view), TRUE);
 
-    gtk_widget_set_size_request (GTK_WIDGET (scrolled_window), W_IMAGE_LOCAL * 3, 0);
+    gtk_widget_set_size_request (GTK_WIDGET (scrolled_window), W_TREE_160, 0); // OK (required)
+
     return scrolled_window;
 }