2 GtkBuilder *builder=NULL;
4 GtkWidget *GUI_Window=NULL;
5 GtkWidget *GUI_Aspect=NULL;
6 GtkWidget *GUI_History=NULL;
7 GtkWidget *GUI_GameList=NULL;
8 GtkWidget *GUI_Board=NULL;
9 GtkWidget *GUI_Whiteclock=NULL;
10 GtkWidget *GUI_Blackclock=NULL;
11 GtkWidget *GUI_Error=NULL;
12 GtkWidget *GUI_Menubar=NULL;
13 GtkWidget *GUI_Timer=NULL;
14 GtkWidget *GUI_Buttonbar=NULL;
15 GtkWidget *GUI_EditTags=NULL;
16 GtkWidget *GUI_EditTagsTextArea=NULL;
18 GtkListStore *LIST_MoveHistory=NULL;
19 GtkListStore *LIST_GameList=NULL;
25 GdkPixbuf *WindowIcon=NULL;
26 GdkPixbuf *WhiteIcon=NULL;
27 GdkPixbuf *BlackIcon=NULL;
29 GdkPixbuf *SVGpieces[MAXPIECES];
30 GdkPixbuf *SVGLightSquare=NULL;
31 GdkPixbuf *SVGDarkSquare=NULL;
32 GdkPixbuf *SVGNeutralSquare=NULL;
34 GdkCursor *BoardCursor=NULL;
37 GdkPixbuf *load_pixbuf P((char *filename,int size));
38 void FileNamePopUp P((char *label, char *def,
39 FileProc proc, char *openMode));