2024-04-27 16:16:21 +02:00
|
|
|
#include <stdio.h>
|
|
|
|
|
#include <gtk/gtk.h>
|
|
|
|
|
|
|
|
|
|
void print_text(GtkWidget *widget, gpointer data);
|
2024-04-29 23:43:04 +02:00
|
|
|
|
2024-04-28 08:38:55 +02:00
|
|
|
void click_print_do (GtkWindow *window, GtkWidget *grid,
|
|
|
|
|
char *label, char *text, int x, int y, int w, int h);
|
2024-04-29 23:43:04 +02:00
|
|
|
|
2024-04-28 06:21:57 +02:00
|
|
|
void window_bar(GtkWindow *window, char *title);
|
2024-04-27 16:16:21 +02:00
|
|
|
|
2024-04-29 23:43:04 +02:00
|
|
|
void activate (GtkApplication *app, gpointer user_data);
|
|
|
|
|
|
|
|
|
|
GtkWidget *get_space_page_new();
|
|
|
|
|
GtkWidget *get_rules_page_new();
|
|
|
|
|
GtkWidget *get_measures_page_new();
|
|
|
|
|
GtkWidget *get_results_page_new();
|
|
|
|
|
GtkWidget *get_discuss_page_new();
|
|
|
|
|
GtkWidget *get_help_page_new();
|
|
|
|
|
|
2024-05-01 10:07:50 +02:00
|
|
|
// https://docs.gtk.org/gtk4/visual_index.html < widgets gallery
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
|
Dans : space_page_new() doivent être déclarées
|
|
|
|
|
et organisées de façon aussi ergonomique que possible :
|
|
|
|
|
|
|
|
|
|
- les commandes de mouvement (run/stop, slow down/speed up, step by step, do/undo/redo)
|
|
|
|
|
et le buffer qui montre où on en est dans le temps de simulation
|
|
|
|
|
(un seul bouton pour toutes ces commandes ?)
|
|
|
|
|
|
|
|
|
|
- les commandes qui modifient l'orientation (X,Y,Z) de l'espace, le zoom, la perspective
|
|
|
|
|
|
|
|
|
|
- les commandes qui modifient les apparences des grilles et des flèches
|
|
|
|
|
|
|
|
|
|
- les commandes qui modifient les apparences des objets et des situations d'intérêt
|
|
|
|
|
(+/- transparents, colorés, etc.)
|
|
|
|
|
|
|
|
|
|
*/
|
