57 lines
2.1 KiB
C
57 lines
2.1 KiB
C
#include <stdio.h>
|
|
#include <gtk-4.0/gtk/gtk.h>
|
|
|
|
#include "warm.h"
|
|
#include "cold.h"
|
|
#include "display.h"
|
|
#include "contain.h"
|
|
#include "texts.h"
|
|
|
|
// https://forge.a-lec.org/gem-graph/gem-graph-client/src/branch/devel/Makefile
|
|
// https://docs.gtk.org/gtk4/visual_index.html < widgets gallery
|
|
// https://docs.gtk.org/gtk4/section-text-widget.html
|
|
// https://docs.gtk.org/gtk4/class.Widget.html#height-for-width-geometry-management
|
|
// GTK_ORIENTATION_VERTICAL GTK_ORIENTATION_HORIZONTAL
|
|
|
|
|
|
|
|
GtkWidget *get_selected_rules_vpaned_new(){
|
|
GtkPaned *vpaned = GTK_PANED (gtk_paned_new (GTK_ORIENTATION_VERTICAL));
|
|
|
|
GtkWidget *règle_sélectionnée_n_1 = gtk_frame_new ("(1)");
|
|
GtkWidget *règle_sélectionnée_n_2 = gtk_frame_new ("(2)");
|
|
|
|
gtk_paned_set_start_child (vpaned, GTK_WIDGET (règle_sélectionnée_n_1));
|
|
gtk_paned_set_end_child (vpaned, GTK_WIDGET (règle_sélectionnée_n_2));
|
|
// gtk_paned_set_wide_handle (vpaned, TRUE);
|
|
return GTK_WIDGET (vpaned);
|
|
}
|
|
|
|
GtkWidget *get_rules_tree_hpaned_new(){
|
|
GtkPaned *hpaned = GTK_PANED (gtk_paned_new (GTK_ORIENTATION_HORIZONTAL));
|
|
|
|
GtkWidget *arbre_des_règles = gtk_frame_new ("Arbre");
|
|
GtkWidget *comparaison_des_règles_sélectionnées = gtk_frame_new ("Sélection");
|
|
|
|
gtk_paned_set_start_child (hpaned, GTK_WIDGET (arbre_des_règles));
|
|
gtk_paned_set_end_child (hpaned, GTK_WIDGET (comparaison_des_règles_sélectionnées));
|
|
gtk_paned_set_position (hpaned, 300);
|
|
gtk_paned_set_wide_handle (hpaned, TRUE);
|
|
return GTK_WIDGET (hpaned);
|
|
}
|
|
|
|
GtkWidget *get_run_rules_page_new(){
|
|
GtkPaned *hpaned = GTK_PANED (gtk_paned_new (GTK_ORIENTATION_HORIZONTAL));
|
|
|
|
// GtkWidget *arbre_des_règles = gtk_frame_new ("Arbre des règles");
|
|
// GtkWidget *édition_de_la_règle_sélectionnée_n_1 = gtk_frame_new ("Inspection");
|
|
|
|
gtk_paned_set_start_child (hpaned, GTK_WIDGET (get_rules_tree_hpaned_new()));
|
|
gtk_paned_set_end_child (hpaned, GTK_WIDGET (get_selected_rules_vpaned_new()));
|
|
gtk_paned_set_position (hpaned, 600);
|
|
gtk_paned_set_wide_handle (hpaned, TRUE);
|
|
// gtk_widget_set_size_request (GTK_WIDGET (hpaned), W, H); // inutile... ?
|
|
return GTK_WIDGET (hpaned);
|
|
}
|
|
|