2 GtkBuilder *builder=NULL;
4 GtkWidget *GUI_Window=NULL;
5 GtkWidget *GUI_History=NULL;
6 GtkWidget *GUI_Board=NULL;
7 GtkWidget *GUI_Whiteclock=NULL;
8 GtkWidget *GUI_Blackclock=NULL;
9 GtkWidget *GUI_Error=NULL;
10 GtkWidget *GUI_Menubar=NULL;
11 GtkWidget *GUI_Timer=NULL;
12 GtkWidget *GUI_Buttonbar=NULL;
14 GtkListStore *LIST_MoveHistory=NULL;
20 GdkPixbuf *WindowIcon=NULL;
21 GdkPixbuf *WhiteIcon=NULL;
22 GdkPixbuf *BlackIcon=NULL;
24 GdkPixbuf *SVGpieces[MAXPIECES];
25 GdkPixbuf *SVGLightSquare=NULL;
26 GdkPixbuf *SVGDarkSquare=NULL;
27 GdkPixbuf *SVGNeutralSquare=NULL;
29 GdkCursor *BoardCursor=NULL;
32 GdkPixbuf *load_pixbuf(char *filename,int size);
33 void GUI_SetAspectRatio(int ratio);