Finite State Machine OK (transitions EXEC / EDIT in State and Rules pages)

This commit is contained in:
Jean Sirmai 2024-07-28 05:44:48 +02:00
parent ddf96045bd
commit 6f84e6ca10
Signed by: jean
GPG Key ID: FB3115C340E057E3
3 changed files with 30 additions and 21 deletions

View File

@ -89,8 +89,8 @@ int widget_get_object_transparency (int i); // top
void *widget_get_selected_rule(); void *widget_get_selected_rule();
void *widget_get_rules_tree(); void *widget_get_rules_tree();
void *widget_get_rules_page(); void *widget_get_rules_page();
void *widget_get_rule_edit_control(); void *widget_get_rule_edit_controls();
//void *widget_get_rule_explore_control(); void *widget_get_rule_explore_controls();
/******************************************************************************/ /******************************************************************************/

View File

@ -32,30 +32,39 @@
#include "../../../include/signal.h" #include "../../../include/signal.h"
static void *widget_get_rule_explore_control() static void *static_widget_get_rule_explore_controls()
{
return gtk_label_new ("________________\n RULE EXPLORE\n\
controls\n'''''''''''''''''''''''''''''");
}
static void *static_widget_get_rule_edit_controls()
{ {
return gtk_label_new return gtk_label_new
("_______________\n RULE EXPLORE\n controls\n'''''''''''''''''''''''''"); ("___________\n RULE EDIT\n controls\n''''''''''''''''''''");
} }
static void *widget_rule_itself_vs_explore_edit () { static void *widget_rule_itself_vs_explore_edit_pane()
{
GtkPaned *rule_itself_vs_explore_edit_pane = GTK_PANED (gtk_paned_new (GTK_ORIENTATION_VERTICAL));
gtk_paned_set_start_child (rule_itself_vs_explore_edit_pane, GTK_WIDGET (widget_get_selected_rule()));
if (fsm_get_exec_edit()) gtk_paned_set_end_child (rule_itself_vs_explore_edit_pane,
GTK_WIDGET (static_widget_get_rule_edit_controls()));
else gtk_paned_set_end_child (rule_itself_vs_explore_edit_pane,
GTK_WIDGET (static_widget_get_rule_explore_controls()));
gtk_paned_set_position (rule_itself_vs_explore_edit_pane, 800); // WARNING : c'est une position "absolue"
gtk_paned_set_wide_handle (rule_itself_vs_explore_edit_pane, TRUE);
gtk_paned_set_shrink_start_child (rule_itself_vs_explore_edit_pane, FALSE);
gtk_paned_set_shrink_end_child (rule_itself_vs_explore_edit_pane, FALSE);
GtkPaned *rule_itself_vs_explore_edit = GTK_PANED (gtk_paned_new (GTK_ORIENTATION_VERTICAL)); return GTK_WIDGET (rule_itself_vs_explore_edit_pane);
gtk_paned_set_start_child (rule_itself_vs_explore_edit, GTK_WIDGET (widget_get_selected_rule ()));
gtk_paned_set_end_child (rule_itself_vs_explore_edit, GTK_WIDGET (widget_get_rule_explore_control ()));
gtk_paned_set_position (rule_itself_vs_explore_edit, 800); // WARNING : c'est une position "absolue"
gtk_paned_set_wide_handle (rule_itself_vs_explore_edit, TRUE);
gtk_paned_set_shrink_start_child (rule_itself_vs_explore_edit, FALSE);
gtk_paned_set_shrink_end_child (rule_itself_vs_explore_edit, FALSE);
return GTK_WIDGET (rule_itself_vs_explore_edit);
} }
void *widget_get_rules_page () { void *widget_get_rules_page()
{
GtkPaned *H_tree_vs_selected = GTK_PANED (gtk_paned_new (GTK_ORIENTATION_HORIZONTAL)); GtkPaned *H_tree_vs_selected = GTK_PANED (gtk_paned_new (GTK_ORIENTATION_HORIZONTAL));
gtk_paned_set_start_child (H_tree_vs_selected, GTK_WIDGET (widget_get_rules_tree ())); gtk_paned_set_start_child (H_tree_vs_selected, GTK_WIDGET (widget_get_rules_tree()));
gtk_paned_set_end_child (H_tree_vs_selected, GTK_WIDGET (widget_rule_itself_vs_explore_edit ())); gtk_paned_set_end_child (H_tree_vs_selected, GTK_WIDGET (widget_rule_itself_vs_explore_edit_pane()));
gtk_paned_set_position (H_tree_vs_selected, 340); // WARNING : c'est une position "absolue" gtk_paned_set_position (H_tree_vs_selected, 340); // WARNING : c'est une position "absolue"
gtk_paned_set_wide_handle (H_tree_vs_selected, TRUE); gtk_paned_set_wide_handle (H_tree_vs_selected, TRUE);
gtk_paned_set_shrink_start_child (H_tree_vs_selected, FALSE); gtk_paned_set_shrink_start_child (H_tree_vs_selected, FALSE);

View File

@ -32,14 +32,14 @@
#include "../../../include/signal.h" #include "../../../include/signal.h"
void *widget_get_rule_edit_control() void *widget_get_rule_explore_controls()
{ {
return gtk_label_new return gtk_label_new
("_____________\n RULE EDIT\n controls\n'''''''''''''''''''''''"); ("_____________\n RULE EDIT\n controls\n'''''''''''''''''''''''");
} }
/* /*
void *widget_get_rule_explore_control() void *widget_get_rule_explore_controls()
{ {
return gtk_label_new return gtk_label_new
("_____________\n RULE EXPLORE\n controls\n'''''''''''''''''''''''"); ("_____________\n RULE EXPLORE\n controls\n'''''''''''''''''''''''");