2024-04-27 16:16:21 +02:00
|
|
|
#include <stdio.h>
|
|
|
|
#include <gtk-4.0/gtk/gtk.h>
|
2024-05-08 07:50:04 +02:00
|
|
|
|
2024-04-29 23:43:04 +02:00
|
|
|
#include "warm.h"
|
|
|
|
#include "cold.h"
|
2024-05-10 06:19:20 +02:00
|
|
|
#include "display.h"
|
|
|
|
#include "contain.h"
|
2024-05-08 23:43:23 +02:00
|
|
|
#include "texts.h"
|
2024-04-29 23:43:04 +02:00
|
|
|
|
2024-05-07 10:03:31 +02:00
|
|
|
// https://forge.a-lec.org/gem-graph/gem-graph-client/src/branch/devel/Makefile
|
2024-04-30 18:59:44 +02:00
|
|
|
// https://docs.gtk.org/gtk4/visual_index.html < widgets gallery
|
2024-05-10 23:14:45 +02:00
|
|
|
// https://docs.gtk.org/gtk4/section-text-widget.html
|
2024-05-08 23:43:23 +02:00
|
|
|
// https://docs.gtk.org/gtk4/class.Widget.html#height-for-width-geometry-management
|
2024-05-06 23:29:54 +02:00
|
|
|
// GTK_ORIENTATION_VERTICAL GTK_ORIENTATION_HORIZONTAL
|
|
|
|
|
2024-05-08 23:43:23 +02:00
|
|
|
|
2024-05-11 07:57:37 +02:00
|
|
|
|
|
|
|
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 = gtk_frame_new ("Édition de la règle sélectionnée");
|
|
|
|
|
|
|
|
gtk_paned_set_start_child (hpaned, GTK_WIDGET (arbre_des_règles));
|
|
|
|
gtk_paned_set_end_child (hpaned, GTK_WIDGET (édition_de_la_règle_sélectionnée));
|
|
|
|
// gtk_widget_set_size_request (GTK_WIDGET (hpaned), W, H);
|
|
|
|
gtk_paned_set_wide_handle (hpaned, TRUE);
|
|
|
|
|
|
|
|
return GTK_WIDGET (hpaned);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
GtkWidget *get_run_rules_page_new(){
|
|
|
|
GtkWidget *rules_grid = gtk_grid_new();
|
|
|
|
GtkWidget *hpaned = gtk_paned_new (GTK_ORIENTATION_HORIZONTAL);
|
|
|
|
gtk_grid_attach (GTK_GRID (rules_grid), hpaned, 0, 0, 1, 1);
|
|
|
|
|
|
|
|
GtkWidget *frame1 = gtk_frame_new ("hello ?");
|
|
|
|
GtkWidget *frame2 = gtk_frame_new ("it's me !");
|
|
|
|
|
|
|
|
GtkWidget *grid_3 = gtk_grid_new();
|
|
|
|
gtk_frame_set_child ( GTK_FRAME(frame2), grid_3);
|
|
|
|
|
|
|
|
gtk_paned_set_start_child (GTK_PANED(hpaned), GTK_WIDGET (frame1));
|
|
|
|
gtk_paned_set_end_child (GTK_PANED(hpaned), GTK_WIDGET (frame2));
|
|
|
|
gtk_widget_set_size_request (hpaned, W, H);
|
|
|
|
|
|
|
|
gtk_grid_attach (GTK_GRID (grid_3), gtk_button_new_with_label ("in the right pane"), 0, 0, 1, 1);
|
|
|
|
return rules_grid;
|
|
|
|
}
|
|
|
|
*/
|