#include <stdio.h>
#include <gtk-4.0/gtk/gtk.h>
#include "cold.h"
#include "widgets.h"
#include "pages.h"
void print_text(GtkWidget *widget, gpointer data) {g_print (data);}