GtkBuilder *builder=NULL;
GtkWidget *GUI_Window=NULL;
+GtkWidget *GUI_Aspect=NULL;
GtkWidget *GUI_History=NULL;
GtkWidget *GUI_Board=NULL;
GtkWidget *GUI_Whiteclock=NULL;
GdkPixbuf *load_pixbuf(char *filename,int size);
-void GUI_SetAspectRatio(int ratio);