2 GtkBuilder *builder=NULL;
4 GtkWidget *GUI_Window=NULL;
5 GtkWidget *GUI_Aspect=NULL;
6 GtkWidget *GUI_History=NULL;
7 GtkWidget *GUI_Board=NULL;
8 GtkWidget *GUI_Whiteclock=NULL;
9 GtkWidget *GUI_Blackclock=NULL;
10 GtkWidget *GUI_Error=NULL;
11 GtkWidget *GUI_Menubar=NULL;
12 GtkWidget *GUI_Timer=NULL;
13 GtkWidget *GUI_Buttonbar=NULL;
15 GtkListStore *LIST_MoveHistory=NULL;
21 GdkPixbuf *WindowIcon=NULL;
22 GdkPixbuf *WhiteIcon=NULL;
23 GdkPixbuf *BlackIcon=NULL;
25 GdkPixbuf *SVGpieces[MAXPIECES];
26 GdkPixbuf *SVGLightSquare=NULL;
27 GdkPixbuf *SVGDarkSquare=NULL;
28 GdkPixbuf *SVGNeutralSquare=NULL;
30 GdkCursor *BoardCursor=NULL;
33 GdkPixbuf *load_pixbuf P((char *filename,int size));
34 void FileNamePopUp P((char *label, char *def,
35 FileProc proc, char *openMode));