2024-06-02 15:49:39 +02:00
|
|
|
#include <gtk-4.0/gtk/gtk.h>
|
|
|
|
|
2024-06-04 06:25:47 +02:00
|
|
|
|
2024-06-07 23:34:08 +02:00
|
|
|
void on_main_window_activation (GtkApplication *app, gpointer user_data);
|
2024-06-11 16:39:40 +02:00
|
|
|
void on_dialog_window_activation (GtkApplication *app, gpointer user_data);
|
2024-06-07 23:34:08 +02:00
|
|
|
void on_auto_notification (const char *message);
|
2024-06-02 13:13:37 +02:00
|
|
|
|
2024-06-04 06:25:47 +02:00
|
|
|
void on_user_tree_expander_toggled (GtkExpander *expander, gpointer user_data);
|
|
|
|
void on_bind_user_tree_factory (GtkSignalListItemFactory *factory, GObject* object, gpointer user_data);
|
|
|
|
|
2024-06-07 23:34:08 +02:00
|
|
|
gboolean on_glarea_render (GtkGLArea *area, GdkGLContext *context);
|
|
|
|
void on_glarea_realize (GtkWidget *widget);
|
|
|
|
void on_glarea_unrealize (GtkWidget *widget);
|
2024-06-06 22:49:43 +02:00
|
|
|
|
2024-06-07 23:34:08 +02:00
|
|
|
void on_axis_value_change (GtkAdjustment *adjustment, gpointer data);
|
2024-06-06 23:23:25 +02:00
|
|
|
|
2024-06-15 00:01:58 +02:00
|
|
|
void on_toggle_EXEC_EDIT (GtkWidget *btt_XOR_EXEC_EDIT, GtkWidget *btt_MODEL_RUN_STOP);
|
|
|
|
void on_toggle_MODEL_RUN_STOP (GtkWidget *btt_MODEL_RUN_STOP, gpointer data);
|
2024-06-14 07:20:01 +02:00
|
|
|
|
|
|
|
void on_open_STATE (GtkWidget *btt_open_STATE, gpointer data);
|
|
|
|
void on_open_RULES (GtkWidget *btt_open_RULES, gpointer data);
|
|
|
|
void on_open_DATA (GtkWidget *btt_open_DATA, gpointer data);
|
2024-06-12 18:15:32 +02:00
|
|
|
|
2024-06-11 19:20:44 +02:00
|
|
|
void on_SAVE_CURRENT_MODEL_BEFORE_EDITING (GtkWidget *btt_SAVE_CURRENT_MODEL, gpointer data);
|
|
|
|
void on_DISCARD_CURRENT_MODEL_AND_START_EDITING (GtkWidget *btt_SAVE_CURRENT_MODEL, gpointer data);
|
2024-06-11 22:49:42 +02:00
|
|
|
void on_WRITE_CURRENT_MODEL (GtkWidget *btt_WRITE_CURRENT_MODEL, gpointer data);
|
2024-06-22 05:37:08 +02:00
|
|
|
void on_toggle_STATE_RULES_DATA (GtkToggleButton *source, gpointer user_data);
|