2 GtkBuilder *builder=NULL;
4 GtkWidget *GUI_Window=NULL;
5 GtkWidget *GUI_Board=NULL;
6 GtkWidget *GUI_Whiteclock=NULL;
7 GtkWidget *GUI_Blackclock=NULL;
12 GdkPixbuf *WindowIcon=NULL;
13 GdkPixbuf *WhiteIcon=NULL;
14 GdkPixbuf *BlackIcon=NULL;
15 GdkPixbuf *SVGpieces[100];
16 GdkPixbuf *SVGLightSquare=NULL;
17 GdkPixbuf *SVGDarkSquare=NULL;
18 GdkPixbuf *SVGNeutralSquare=NULL;
20 GdkCursor *BoardCursor=NULL;
23 GdkPixbuf *load_pixbuf(char *filename,int size);
24 void GUI_SetAspectRatio(int ratio);