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