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
  11 GtkListStore            *LIST_MoveHistory=NULL;
  12
  13 gint                     boardWidth;
  14 gint                     boardHeight;
  15
  16
  17 GdkPixbuf               *WindowIcon=NULL;
  18 GdkPixbuf               *WhiteIcon=NULL;
  19 GdkPixbuf               *BlackIcon=NULL;
  20 GdkPixbuf               *SVGpieces[100];
  21 GdkPixbuf               *SVGLightSquare=NULL;
  22 GdkPixbuf               *SVGDarkSquare=NULL;
  23 GdkPixbuf               *SVGNeutralSquare=NULL;
  24
  25 GdkCursor               *BoardCursor=NULL;
  26
  27
  28 GdkPixbuf *load_pixbuf(char *filename,int size);
  29 void GUI_SetAspectRatio(int ratio);