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