2024-06-30 11:53:03 +02:00
|
|
|
/* * * * * * * * * * * * * * * * * * * * * * * * * * *
|
|
|
|
* *
|
2024-07-04 08:04:58 +02:00
|
|
|
* Gem-graph client *
|
2024-06-30 11:53:03 +02:00
|
|
|
* *
|
2024-07-22 15:42:24 +02:00
|
|
|
* Widgets header *
|
2024-06-30 11:53:03 +02:00
|
|
|
* *
|
2024-07-01 00:42:25 +02:00
|
|
|
* Copyright © 2021 Libre en Communs <contact@a-lec.org> *
|
|
|
|
* Copyright © 2021 Adrien Bourmault <neox@a-lec.org> *
|
|
|
|
* Copyright © 2021 Jean Sirmai <jean@a-lec.org> *
|
2024-06-30 11:53:03 +02:00
|
|
|
* *
|
|
|
|
* This file is part of Gem-graph. *
|
|
|
|
* *
|
2024-07-01 00:42:25 +02:00
|
|
|
* This program is free software: you can redistribute it and/or modify it *
|
|
|
|
* under the terms of the GNU Affero General Public License *
|
|
|
|
* as published by the Free Software Foundation, *
|
|
|
|
* either version 3 of the License, *
|
|
|
|
* or (at your option) any later version. *
|
2024-06-30 11:53:03 +02:00
|
|
|
* *
|
2024-07-01 00:42:25 +02:00
|
|
|
* This program is distributed in the hope that it will be useful, *
|
2024-07-01 07:26:16 +02:00
|
|
|
* but WITHOUT ANY WARRANTY; *
|
2024-07-01 00:42:25 +02:00
|
|
|
* without even the implied warranty of MERCHANTABILITY *
|
2024-07-01 07:26:16 +02:00
|
|
|
* or FITNESS FOR A PARTICULAR PURPOSE. *
|
2024-07-01 00:42:25 +02:00
|
|
|
* See the GNU Affero General Public License for more details. *
|
2024-06-30 11:53:03 +02:00
|
|
|
* *
|
2024-07-01 00:42:25 +02:00
|
|
|
* You should have received a copy of the GNU Affero General Public License *
|
|
|
|
* along with this program. If not, see <http://www.gnu.org/licenses/>. *
|
2024-06-30 11:53:03 +02:00
|
|
|
* *
|
|
|
|
* * * * * * * * * * * * * * * * * * * * * * * * * * */
|
|
|
|
|
2024-04-22 18:40:30 +02:00
|
|
|
|
2024-07-18 23:51:04 +02:00
|
|
|
#pragma once
|
2024-04-22 18:40:30 +02:00
|
|
|
#include <gtk-4.0/gtk/gtk.h>
|
|
|
|
|
2024-07-08 07:52:27 +02:00
|
|
|
/******************************************************************************/
|
2024-07-22 18:02:14 +02:00
|
|
|
/* W I N D O W S */
|
2024-07-08 07:52:27 +02:00
|
|
|
/******************************************************************************/
|
2024-08-05 16:22:43 +02:00
|
|
|
#define W_MY_SCREEN 1920 // 1920 x 960 = ad hoc (pour mon écran))
|
|
|
|
#define H_MY_SCREEN 1000 // Full HD (1920 x 1080 pixels)
|
|
|
|
|
|
|
|
#define W_TEXT_WINDOW 550 // ad hoc (mais sans conséquences ici)
|
2024-08-06 04:49:28 +02:00
|
|
|
#define H_TEXT_WINDOW H_MY_SCREEN
|
|
|
|
|
|
|
|
|
2024-08-06 16:29:41 +02:00
|
|
|
// called in signal.c / switch_state_rules_data() / gtk_window_set_child()
|
|
|
|
// defined in widget / dispatch.c
|
|
|
|
|
|
|
|
void *widget_get_main_window();
|
|
|
|
void *widget_get_dialog_window();
|
|
|
|
void *widget_get_text_window();
|
|
|
|
|
|
|
|
|
2024-08-06 04:49:28 +02:00
|
|
|
// called in widget / dispatch.c / on_windows_activation()
|
|
|
|
// defined in widget / topbar / dispatch.c
|
|
|
|
// - widget / topbar / dialog.c
|
|
|
|
// - widget / topbar / polytext.c
|
2024-08-06 16:29:41 +02:00
|
|
|
// (after gtk_application_window_new (app) x 3)
|
2024-08-04 23:23:12 +02:00
|
|
|
|
2024-09-06 11:02:03 +02:00
|
|
|
void widget_design_main_window (GtkWindow *main_window, GtkApplication *app);
|
2024-07-21 12:33:29 +02:00
|
|
|
void widget_design_dialog_window (GtkWindow *main_window, GtkWindow *dialog_window);
|
|
|
|
void widget_design_text_window (GtkWindow *main_window, GtkWindow *text_window);
|
2024-04-22 18:40:30 +02:00
|
|
|
|
2024-07-22 18:02:14 +02:00
|
|
|
|
2024-08-06 04:49:28 +02:00
|
|
|
/******************************************************************************/
|
|
|
|
/* W I D G E T S */
|
|
|
|
/******************************************************************************/
|
|
|
|
#define W_TREE 160
|
|
|
|
#define W_DO_UNDO_REDO_BOX 1300
|
2024-08-22 22:01:33 +02:00
|
|
|
#define W_XYZ_BOX 62
|
2024-08-06 04:49:28 +02:00
|
|
|
#define H_XYZ_BOX 200
|
2024-08-22 22:01:33 +02:00
|
|
|
#define H_E_COLI 760
|
2024-08-06 04:49:28 +02:00
|
|
|
#define H_OBJECTS_SITUATIONS 130
|
|
|
|
#define W_COMPARATOR 64
|
|
|
|
#define W_RULES_USE 90
|
2024-08-02 13:10:12 +02:00
|
|
|
|
2024-08-06 04:49:28 +02:00
|
|
|
#define W_IMAGE_800 800
|
|
|
|
#define W_IMAGE_100 100
|
2024-08-02 13:10:12 +02:00
|
|
|
|
2024-07-08 07:52:27 +02:00
|
|
|
|
2024-08-23 23:30:39 +02:00
|
|
|
|
2024-07-08 07:52:27 +02:00
|
|
|
/******************************************************************************/
|
2024-08-06 04:49:28 +02:00
|
|
|
/* T O P B A R */
|
2024-07-08 07:52:27 +02:00
|
|
|
/******************************************************************************/
|
2024-08-06 04:49:28 +02:00
|
|
|
// called in widget / topbar / dispatch.c / widget_design_main_window()
|
|
|
|
// defined in topbar / left.c
|
|
|
|
|
|
|
|
void *widget_get_btt_synth(); // {return btt_SYNTH;}
|
|
|
|
void *widget_get_btt_state(); // {return btt_STATE;}
|
|
|
|
void *widget_get_btt_rules(); // {return btt_RULES;}
|
|
|
|
void *widget_get_btt_data(); // {return btt_DATA;}
|
2024-07-08 07:52:27 +02:00
|
|
|
|
2024-08-06 04:49:28 +02:00
|
|
|
// called in widget / topbar / dispatch.c / widget_design_main_window()
|
|
|
|
// defined in widget / topbar / left.c
|
|
|
|
// - widget / topbar / right.c
|
2024-08-03 22:37:45 +02:00
|
|
|
|
2024-08-07 10:40:24 +02:00
|
|
|
void window_design_topbar_left (GtkWidget *header_bar);
|
2024-09-06 11:02:03 +02:00
|
|
|
void window_design_topbar_right (GtkWidget *header_bar, GtkApplication *app);
|
2024-08-04 23:23:12 +02:00
|
|
|
|
|
|
|
|
2024-08-06 04:49:28 +02:00
|
|
|
// called in signal.c / fsm_get_state_rules_data()
|
|
|
|
// defined in widget / synth / dispatch.c
|
|
|
|
// - widget / state / dispatch.c
|
2024-09-06 11:02:03 +02:00
|
|
|
// - widgetvoid on_windows_activation (GtkApplication *app) / rules / dispatch.c
|
2024-08-06 16:29:41 +02:00
|
|
|
// - widget / data / dispatch.c
|
|
|
|
// - widget / measure / dispatch.c
|
2024-08-06 04:49:28 +02:00
|
|
|
|
|
|
|
void *widget_get_synth_page(); // in : widget / synth / dispatch.c
|
|
|
|
void *widget_get_state_page(); // in : widget / state / dispatch.c
|
|
|
|
void *widget_get_rules_page(); // in : widget / rules / dispatch.c
|
2024-08-06 16:29:41 +02:00
|
|
|
void *widget_get_data_page(); // in : widget / data / dispatch.c
|
|
|
|
void *widget_get_measure_page();// in : widget / measure / dispatch.c
|
2024-09-03 17:32:42 +02:00
|
|
|
void *widget_get_engine_page(); // in : fsm / engine / engine.c
|
2024-08-04 23:23:12 +02:00
|
|
|
|
2024-07-22 17:18:40 +02:00
|
|
|
|
2024-08-04 19:02:00 +02:00
|
|
|
/******************************************************************************/
|
|
|
|
/* S Y N T H */
|
|
|
|
/******************************************************************************/
|
2024-09-09 08:14:04 +02:00
|
|
|
// call: widget / synth / dispatch.c / widget_get_synth_page()
|
|
|
|
// def: widget / synth / time.c
|
2024-08-06 04:49:28 +02:00
|
|
|
// repartitions.c WIP
|
|
|
|
// correlations.c WIP
|
2024-08-04 19:02:00 +02:00
|
|
|
|
2024-08-23 23:30:39 +02:00
|
|
|
#define H_PARTITION_SYNTH 1600
|
|
|
|
#define W_PARTITION_SYNTH 400
|
|
|
|
|
2024-08-04 19:02:00 +02:00
|
|
|
void *widget_get_time_dependent_results_and_time_controls();
|
2024-08-06 04:49:28 +02:00
|
|
|
// *widget_get_space_vs_non_time_dependent_analysis(); WIP
|
|
|
|
// *widget_get_non_time_dependent_analysis_elements(); WIP
|
|
|
|
|
2024-08-04 19:02:00 +02:00
|
|
|
|
2024-07-22 18:02:14 +02:00
|
|
|
/******************************************************************************/
|
|
|
|
/* S T A T E */
|
|
|
|
/******************************************************************************/
|
2024-09-09 08:14:04 +02:00
|
|
|
// call: widget / state / dispatch.c / widget_get_state_page()
|
|
|
|
// def: widget / state / middle
|
|
|
|
// def: widget / state / bottom
|
2024-07-19 23:02:27 +02:00
|
|
|
|
2024-08-23 23:30:39 +02:00
|
|
|
#define PARTITION_STATE_TOP 600
|
|
|
|
#define PARTITION_SPACE_VS_CONTROLS_1 920
|
|
|
|
#define PARTITION_SPACE_VS_CONTROLS_2 800
|
2024-08-22 00:53:23 +02:00
|
|
|
#define PARTITION_SPACE_VS_CAMERA_IN_STATE 1850
|
|
|
|
#define PARTITION_SPACE_VS_CAMERA_IN_SYNTH 1560
|
|
|
|
|
|
|
|
void *widget_get_space_view (int partition_space_vs_camera); // middle
|
|
|
|
void *widget_get_graph_view_control(); // middle
|
2024-07-22 18:02:14 +02:00
|
|
|
|
|
|
|
void *widget_get_space_edit_control(); // bottom
|
|
|
|
void *widget_get_sequence_control(); // bottom
|
|
|
|
|
2024-08-06 04:49:28 +02:00
|
|
|
|
2024-09-09 08:14:04 +02:00
|
|
|
// call: widget / state / top.c / get_situations_box()
|
|
|
|
// call: prefer.c
|
|
|
|
// def: widget / state / top.c
|
2024-07-04 22:29:34 +02:00
|
|
|
|
2024-07-22 18:02:14 +02:00
|
|
|
void widget_reset_all_situations_transparencies_to_value (int value); // top
|
2024-07-26 12:26:24 +02:00
|
|
|
void widget_set_object_transparency_to_value (int rank, int value); // top
|
2024-08-06 04:49:28 +02:00
|
|
|
int widget_get_object_transparency (int i); // top
|
2024-07-22 18:02:14 +02:00
|
|
|
|
2024-07-26 22:18:03 +02:00
|
|
|
|
2024-09-09 08:14:04 +02:00
|
|
|
// call: signal.c
|
|
|
|
// def: widget / state / middle
|
2024-08-06 05:25:41 +02:00
|
|
|
|
|
|
|
void widget_state_XYZ_reset_all();
|
|
|
|
|
2024-07-26 22:18:03 +02:00
|
|
|
|
2024-07-27 12:34:32 +02:00
|
|
|
/******************************************************************************/
|
|
|
|
/* R U L E S */
|
|
|
|
/******************************************************************************/
|
2024-09-09 08:14:04 +02:00
|
|
|
// call: widget / rules / dispatch.c / widget_get_rules_page()
|
|
|
|
// def: widget / rules / tree_tools / dispatch.c (= left)
|
|
|
|
// def: widget / rules / selected / dispatch.c (= right)
|
2024-08-06 04:49:28 +02:00
|
|
|
|
|
|
|
void *widget_get_rules_tree_tools_pane();
|
|
|
|
void *widget_get_rules_selected_pane();
|
|
|
|
|
|
|
|
|
2024-09-09 08:14:04 +02:00
|
|
|
// call: widget / rules / tree_tools / dispatch.c / widget_get_rules_tree_tools_pane()
|
|
|
|
// def: widget / rules / tree_tools / pilot_box.c
|
|
|
|
// def: widget / rules / tree_tools / freq.c
|
2024-08-06 04:49:28 +02:00
|
|
|
|
|
|
|
void *widget_get_rules_pilot_box(); // pilot_box.c
|
|
|
|
void *widget_get_rules_tree_tools(); // pilot_box.c
|
|
|
|
void *widget_get_rules_use(); // freq.c
|
|
|
|
|
|
|
|
|
2024-09-09 08:14:04 +02:00
|
|
|
// call: widget / rules / selected / dispatch.c / widget_get_rules_selected_pane()
|
|
|
|
// def: widget / rules / selected / dispatch.c
|
|
|
|
// def: widget / rules / selected / edit.c
|
2024-09-09 14:36:50 +02:00
|
|
|
// def: widget / rules / selected / enquire.c
|
2024-08-06 04:49:28 +02:00
|
|
|
|
|
|
|
void *widget_get_selected_rule(); // dispatch.c
|
|
|
|
void *widget_get_rule_edit(); // edit.c
|
2024-09-09 14:36:50 +02:00
|
|
|
void *widget_get_rule_enquire(); // enquire.c
|
2024-08-06 04:49:28 +02:00
|
|
|
|
2024-09-09 08:14:04 +02:00
|
|
|
// call: widget / rules / selected / dispatch.c / widget_get_selected_rule()
|
|
|
|
// def: widget / rules / selected / text.c
|
|
|
|
// def: widget / rules / selected / image.c
|
2024-08-06 04:49:28 +02:00
|
|
|
|
2024-09-09 14:36:50 +02:00
|
|
|
void *widget_get_selected_rule_algebra();
|
|
|
|
void *widget_get_selected_rule_geometry();
|
2024-09-08 22:34:50 +02:00
|
|
|
void *widget_get_btt_conditions_list();
|
2024-09-09 14:11:32 +02:00
|
|
|
void *widget_get_btt_assignations_list();
|
2024-09-09 14:36:50 +02:00
|
|
|
void *widget_get_btt_rule_identity();
|
2024-07-27 12:34:32 +02:00
|
|
|
|
2024-09-09 08:14:04 +02:00
|
|
|
// def: widget / rules / selected / wip_menu.c
|
2024-09-09 22:21:35 +02:00
|
|
|
GtkEntry widget_set_item_text (GtkWidget *list_box, const char *text, bool editable);
|
2024-07-27 12:34:32 +02:00
|
|
|
|
2024-07-22 18:02:14 +02:00
|
|
|
/******************************************************************************/
|
2024-08-02 22:47:38 +02:00
|
|
|
/* D A T A */
|
2024-07-22 18:02:14 +02:00
|
|
|
/******************************************************************************/
|
2024-09-09 08:14:04 +02:00
|
|
|
// call: widget / results / dispatch / widget_get_data_page()
|
|
|
|
// def: widget / results / organize.c
|
2024-08-09 14:47:59 +02:00
|
|
|
// display.c
|
2024-07-22 18:02:14 +02:00
|
|
|
|
2024-08-23 23:30:39 +02:00
|
|
|
#define H_PARTITION_RESULTS 140
|
|
|
|
|
2024-08-09 15:28:52 +02:00
|
|
|
void *widget_get_organize_results_box();
|
|
|
|
void *widget_get_display_results_box();
|
2024-08-22 22:01:33 +02:00
|
|
|
void *widget_get_time_results_box ();
|
2024-07-08 07:52:27 +02:00
|
|
|
|
2024-07-13 07:48:46 +02:00
|
|
|
|
2024-07-08 07:52:27 +02:00
|
|
|
/******************************************************************************/
|
|
|
|
/* T R E E */
|
|
|
|
/******************************************************************************/
|
|
|
|
|
2024-09-08 22:09:34 +02:00
|
|
|
//struct slist {gchar *text; struct slist *child;};
|
2024-07-01 07:26:16 +02:00
|
|
|
struct TreeNode_t {gchar *text; struct TreeNode_t *child, *next;};
|
2024-07-18 23:51:04 +02:00
|
|
|
struct TreeNode_t *widget_create_user_tree_node (const gchar* text);
|
2024-07-08 07:52:27 +02:00
|
|
|
|
2024-07-18 23:51:04 +02:00
|
|
|
void widget_add_child_node (struct TreeNode_t *parent, struct TreeNode_t *child);
|
2024-07-08 07:52:27 +02:00
|
|
|
|
2024-09-08 22:09:34 +02:00
|
|
|
void *widget_get_user_rules_tree ();
|
|
|
|
// def: widget/rules/tree_tools/labo.c
|
|
|
|
// call: widget/rules/tree_tools/pilot_box.c widget_get_rules_tree_tools()
|
2024-06-30 12:47:34 +02:00
|
|
|
|
2024-07-08 07:52:27 +02:00
|
|
|
|
2024-07-05 10:23:19 +02:00
|
|
|
/******************************************************************************/
|
|
|
|
/* T E X T S */
|
|
|
|
/******************************************************************************/
|
2024-08-06 04:49:28 +02:00
|
|
|
// called by : widget / topbar / polytext.c
|
2024-08-06 05:25:41 +02:00
|
|
|
// texts in : data / text
|
2024-07-05 10:23:19 +02:00
|
|
|
|
2024-08-05 16:22:43 +02:00
|
|
|
void *widget_get_text_from_address (gchar *text_name);
|
|
|
|
|
2024-07-21 23:17:01 +02:00
|
|
|
char *widget_get_text_address_theory ();
|
2024-08-05 16:22:43 +02:00
|
|
|
char *widget_get_text_address_practice ();
|
2024-07-04 08:04:58 +02:00
|
|
|
|
|
|
|
|
2024-07-27 06:10:34 +02:00
|
|
|
/******************************************************************************/
|
|
|
|
/* I M A G E S */
|
|
|
|
/******************************************************************************/
|
|
|
|
// images in : data / image /
|
|
|
|
// used by : widget / rules.c
|
|
|
|
|
2024-08-02 13:25:23 +02:00
|
|
|
void *widget_get_an_impression_of_what_a_rules_comparator_could_be();
|
2024-07-27 06:10:34 +02:00
|
|
|
|
2024-07-06 08:27:05 +02:00
|
|
|
/******************************************************************************/
|
|
|
|
/* L A B O */
|
|
|
|
/******************************************************************************/
|
2024-08-06 04:49:28 +02:00
|
|
|
// now in : widget / rules / tree_tools
|
2024-08-06 05:25:41 +02:00
|
|
|
// called by tree.c / widget_get_user_rules_tree()
|
2024-07-06 08:27:05 +02:00
|
|
|
|
2024-07-21 23:17:01 +02:00
|
|
|
void widget_let_us_create_a_complex_useless_and_expensive_tree (struct TreeNode_t *tree_root);
|
2024-07-06 08:27:05 +02:00
|
|
|
|
2024-07-22 15:42:24 +02:00
|
|
|
|
|
|
|
/******************************************************************************/
|
|
|
|
/* M E N U */
|
|
|
|
/******************************************************************************/
|
|
|
|
|
2024-08-06 16:29:41 +02:00
|
|
|
|
|
|
|
/******************************************************************************/
|
|
|
|
/* M E A S U R E S */
|
|
|
|
/******************************************************************************/
|
|
|
|
// called by : signal.c
|
2024-09-09 08:14:04 +02:00
|
|
|
// def: widget / measure / dispatch.c
|
2024-08-06 16:29:41 +02:00
|
|
|
|
2024-08-06 18:43:15 +02:00
|
|
|
void *widget_measure_new();
|
2024-08-09 11:33:44 +02:00
|
|
|
// La séquence logique à suivre pour créer une nouvelle mesure
|
2024-08-06 18:43:15 +02:00
|
|
|
void *widget_measure_do_select_rules_first();
|
2024-08-07 13:18:58 +02:00
|
|
|
void *widget_measure_do_depends_on_one_or_two_events();
|
|
|
|
void *widget_measure_do_depends_on_a_single_event();
|
|
|
|
void *widget_measure_do_depends_on_two_events();
|
2024-08-08 13:09:47 +02:00
|
|
|
void *widget_measure_do_select_a_second_rules_set();
|
|
|
|
void *widget_measure_do_choose_an_event_type();
|
2024-08-09 09:21:04 +02:00
|
|
|
void *widget_measure_do_correlate();
|
|
|
|
void *widget_measure_do_insert_in_measurements_list();
|
|
|
|
void *widget_measure_do_end_creation_of_measurement_process();
|
|
|
|
|
2024-08-09 11:33:44 +02:00
|
|
|
// Les cinq types de mesures possibles
|
2024-08-08 07:21:34 +02:00
|
|
|
void *widget_measure_event_occurences_nb();
|
|
|
|
void *widget_measure_event_occurences_dates();
|
|
|
|
void *widget_measure_event_occurences_situations();
|
|
|
|
void *widget_measure_time_elapsed_between_two_events();
|
|
|
|
void *widget_measure_third_event_occurences_in_between();
|
2024-08-09 09:21:04 +02:00
|
|
|
|