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();
|
|
|
|
|