interface.h

   1 /* GTK widgets */
   2 GtkBuilder              *builder=NULL;
   3
   4 GtkWidget               *GUI_Window=NULL;
   5 GtkWidget               *GUI_History=NULL;
   6 GtkWidget               *GUI_Board=NULL;
   7 GtkWidget               *GUI_Whiteclock=NULL;
   8 GtkWidget               *GUI_Blackclock=NULL;
   9 GtkWidget               *GUI_Error=NULL;
  10 GtkWidget               *GUI_Menubar=NULL;
  11 GtkWidget               *GUI_Timer=NULL;
  12 GtkWidget               *GUI_Buttonbar=NULL;
  13
  14 GtkListStore            *LIST_MoveHistory=NULL;
  15
  16 gint                     boardWidth;
  17 gint                     boardHeight;
  18
  19
  20 GdkPixbuf               *WindowIcon=NULL;
  21 GdkPixbuf               *WhiteIcon=NULL;
  22 GdkPixbuf               *BlackIcon=NULL;
  23 #define MAXPIECES 100
  24 GdkPixbuf               *SVGpieces[MAXPIECES];
  25 GdkPixbuf               *SVGLightSquare=NULL;
  26 GdkPixbuf               *SVGDarkSquare=NULL;
  27 GdkPixbuf               *SVGNeutralSquare=NULL;
  28
  29 GdkCursor               *BoardCursor=NULL;
  30
  31
  32 GdkPixbuf *load_pixbuf(char *filename,int size);
  33 void GUI_SetAspectRatio(int ratio);