GtkBuilder *builder=NULL;
GtkWidget *GUI_Window=NULL;
+GtkWidget *GUI_Aspect=NULL;
GtkWidget *GUI_History=NULL;
+GtkWidget *GUI_GameList=NULL;
GtkWidget *GUI_Board=NULL;
GtkWidget *GUI_Whiteclock=NULL;
GtkWidget *GUI_Blackclock=NULL;
GtkWidget *GUI_Error=NULL;
+GtkWidget *GUI_Menubar=NULL;
+GtkWidget *GUI_Timer=NULL;
+GtkWidget *GUI_Buttonbar=NULL;
+GtkWidget *GUI_EditTags=NULL;
+GtkWidget *GUI_EditTagsTextArea=NULL;
GtkListStore *LIST_MoveHistory=NULL;
+GtkListStore *LIST_GameList=NULL;
+
+GtkTreeView *TREE_History=NULL;
+GtkTreeView *TREE_Game=NULL;
gint boardWidth;
gint boardHeight;
GdkPixbuf *WindowIcon=NULL;
GdkPixbuf *WhiteIcon=NULL;
GdkPixbuf *BlackIcon=NULL;
-GdkPixbuf *SVGpieces[100];
+#define MAXPIECES 100
+GdkPixbuf *SVGpieces[MAXPIECES];
GdkPixbuf *SVGLightSquare=NULL;
GdkPixbuf *SVGDarkSquare=NULL;
GdkPixbuf *SVGNeutralSquare=NULL;
GdkCursor *BoardCursor=NULL;
-GdkPixbuf *load_pixbuf(char *filename,int size);
-void GUI_SetAspectRatio(int ratio);
+GdkPixbuf *load_pixbuf P((char *filename,int size));
+void FileNamePopUp P((char *label, char *def,
+ FileProc proc, char *openMode));