[patch] gtkboard-0.11_pre0-gcc41.patch

gtkboard-0.11_pre0-gcc41.patch (text/plain), 555 bytes, created by Tristan Heaven (RETIRED) on 2006-04-25 15:40:10 UTC

--- src/board.c
+++ src/board.c
@@ -74,7 +74,7 @@
 //! default background
 char board_default_colors [9] = {215, 215, 215, 215, 215, 215, 0, 0, 0};
 
-static int cell_size, num_pieces;
+int cell_size, num_pieces;
 
 extern void ui_make_human_move (byte *move, int *rmove);
 
--- src/menu.c
+++ src/menu.c
@@ -829,7 +829,7 @@
 	
 	{
 	int i;
-	GtkItemFactoryEntry help_items [3];
+	GtkItemFactoryEntry help_items [4];
 	help_items[0].path = g_strdup_printf ("/Help/%s", opt_game->name);
 	help_items[0].accelerator = NULL;
 	help_items[0].callback = NULL;