interface.h

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