interface.h

   1 /* GTK widgets */
   2 GtkBuilder              *builder=NULL;
   3
   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;
  17
  18 GtkListStore            *LIST_MoveHistory=NULL;
  19 GtkListStore            *LIST_GameList=NULL;
  20
  21 gint                     boardWidth;
  22 gint                     boardHeight;
  23
  24
  25 GdkPixbuf               *WindowIcon=NULL;
  26 GdkPixbuf               *WhiteIcon=NULL;
  27 GdkPixbuf               *BlackIcon=NULL;
  28 #define MAXPIECES 100
  29 GdkPixbuf               *SVGpieces[MAXPIECES];
  30 GdkPixbuf               *SVGLightSquare=NULL;
  31 GdkPixbuf               *SVGDarkSquare=NULL;
  32 GdkPixbuf               *SVGNeutralSquare=NULL;
  33
  34 GdkCursor               *BoardCursor=NULL;
  35
  36
  37 GdkPixbuf *load_pixbuf P((char *filename,int size));
  38 void FileNamePopUp P((char *label, char *def,
  39                       FileProc proc, char *openMode));