two notebooks in a run_xor_edit_horizontal_pane

cold.c

@@ -258,8 +258,14 @@ void activate (GtkApplication *app, gpointer user_data) {
   gtk_notebook_append_page (edit_notebook, get_edit_discuss_page_new(), gtk_label_new ("interpret"));
   gtk_notebook_append_page (edit_notebook, get_edit_help_page_new(),    gtk_label_new ("help"));
 
-  if (0) gtk_window_set_child (window, GTK_WIDGET(edit_notebook));
-  else   gtk_window_set_child (window, GTK_WIDGET(run_notebook));
+  GtkWidget *run_xor_edit_horizontal_pane = gtk_paned_new (GTK_ORIENTATION_HORIZONTAL);
+  GtkWidget *frame_edits = gtk_frame_new ("Situations");   //  facilitate each situation identification
+  gtk_widget_set_size_request (run_xor_edit_horizontal_pane, W_IMAGE, H_STYLES_PANE);
+  gtk_widget_set_size_request (GTK_WIDGET (frame_edits), 0, H_STYLES_PANE); //  <  utile pour la largeur min/max
+  gtk_paned_set_start_child (GTK_PANED(run_xor_edit_horizontal_pane), GTK_WIDGET (run_notebook));
+  gtk_paned_set_end_child (GTK_PANED(run_xor_edit_horizontal_pane), GTK_WIDGET (edit_notebook));
+  gtk_paned_set_position (GTK_PANED (run_xor_edit_horizontal_pane), W_IMAGE + 90);  //  ! WARNING !  '90' is AD HOC
+  gtk_window_set_child (window, GTK_WIDGET(run_xor_edit_horizontal_pane));
   gtk_window_present (GTK_WINDOW (window));
 }
 

hot.c

@@ -36,7 +36,7 @@ GtkBox *get_situations_box(){
 }
 
 static GtkWidget *get_frame_objects(){
-  GtkWidget *frame_objects = gtk_frame_new ("Objects");          //  defines each class of object transparence
+  GtkWidget *frame_objects = gtk_frame_new ("  Objects");          //  defines each class of object transparence
   gtk_widget_set_size_request (frame_objects, 0, H_STYLES_PANE); //  <  utile seulement pour la largeur min/max
 //  compute_child_allocation (frame_objects, GdkRectangle);
 //  gtk_frame_set_child (frame_objects, get_scroll_interest_0());
@@ -45,7 +45,7 @@ static GtkWidget *get_frame_objects(){
 }
 
 static GtkWidget *get_frame_situations(){
-  GtkWidget *frame_situations = gtk_frame_new ("Situations");       //  facilitates each situation identification
+  GtkWidget *frame_situations = gtk_frame_new ("  Situations");       //  facilitates each situation identification
   gtk_widget_set_size_request (GTK_WIDGET (frame_situations), 0, H_STYLES_PANE); //  <  utile seulement pour la largeur min/max
   gtk_frame_set_child (GTK_FRAME (frame_situations), GTK_WIDGET (get_situations_box()));
   return frame_situations;
@@ -53,9 +53,6 @@ static GtkWidget *get_frame_situations(){
 
 GtkWidget *get_objects_and_situations_horizontal_pane(){
   GtkWidget *objects_and_situations_horizontal_pane = gtk_paned_new (GTK_ORIENTATION_HORIZONTAL);
-  GtkWidget *frame_situations = gtk_frame_new ("Situations");   //  facilitate each situation identification
-  gtk_widget_set_size_request (objects_and_situations_horizontal_pane, W_IMAGE, H_STYLES_PANE);
-  gtk_widget_set_size_request (GTK_WIDGET (frame_situations), 100, H_STYLES_PANE); //  <  utile seulement pour la largeur min/max
   gtk_paned_set_start_child (GTK_PANED(objects_and_situations_horizontal_pane), GTK_WIDGET (get_frame_objects()));
   gtk_paned_set_end_child (GTK_PANED(objects_and_situations_horizontal_pane), GTK_WIDGET (get_frame_situations()));
   return objects_and_situations_horizontal_pane;