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;
14 GtkWidget *GUI_EditTags=NULL;
15 GtkWidget *GUI_EditTagsTextArea=NULL;
17 GtkListStore *LIST_MoveHistory=NULL;
23 GdkPixbuf *WindowIcon=NULL;
24 GdkPixbuf *WhiteIcon=NULL;
25 GdkPixbuf *BlackIcon=NULL;
27 GdkPixbuf *SVGpieces[MAXPIECES];
28 GdkPixbuf *SVGLightSquare=NULL;
29 GdkPixbuf *SVGDarkSquare=NULL;
30 GdkPixbuf *SVGNeutralSquare=NULL;
32 GdkCursor *BoardCursor=NULL;
35 GdkPixbuf *load_pixbuf P((char *filename,int size));
36 void FileNamePopUp P((char *label, char *def,
37 FileProc proc, char *openMode));