00001 /*  This file is a part of gtkboard, a board games system.
00002     Copyright (C) 2003, Arvind Narayanan <arvindn@users.sourceforge.net>
00003 
00004     This program is free software; you can redistribute it and/or modify
00005     it under the terms of the GNU General Public License as published by
00006     the Free Software Foundation; either version 2 of the License, or
00007     (at your option) any later version.
00008 
00009     This program is distributed in the hope that it will be useful,
00010     but WITHOUT ANY WARRANTY; without even the implied warranty of
00011     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00012     GNU General Public License for more details.
00013 
00014     You should have received a copy of the GNU General Public License
00015     along with this program; if not, write to the Free Software
00016     Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111 USA
00017 
00018 */
00019 #ifndef _MENU_H_
00020 #define _MENU_H_
00021 #include <glib.h>
00022 #include <gdk/gdk.h>
00023 #include <gtk/gtk.h>
00024 #include "game.h"
00025 
00026 enum {MENU_START_GAME = 1, MENU_STOP_GAME, MENU_RESET_GAME};
00027 enum {MENU_BACK = 1, MENU_FORW};
00028 enum {MENU_SENS_MACHINE_THINKING = 1, MENU_SENS_MACHINE_NOT_THINKING,
00029         MENU_SENS_NO_GAME, MENU_SENS_NO_BACK_FORW,
00030         MENU_SENS_SINGLE_PLAYER, MENU_SENS_TWO_PlayerS,
00031         MENU_SENS_UI_STOPPED, MENU_SENS_EVAL_FUNCTION};
00032 enum {MENU_DOC_ABOUT, MENU_DOC_RULES, MENU_DOC_STRATEGY};
00033 
00034 void menu_resensitize (int);
00035 void menu_desensitize (int);
00036 void menu_start_stop_game (gpointer , guint );
00037 void menu_set_eval_function ();
00038 void menu_load_file_dialog ();
00039 void menu_save_file_dialog ();
00040 void menu_set_delay_cb (gpointer data, guint delay, GtkWidget *widget);
00041 void menu_back_forw (gpointer data, guint what);
00042 void menu_set_player (gpointer *, guint, GtkWidget *);
00043 void menu_put_player (gboolean);
00044 void menu_start_game ();
00045 void menu_put_game ();
00046 void menu_board_flip_cb ();
00047 void menu_set_game (gpointer, guint, GtkWidget *);
00048 void sb_set_score (gchar *score);
00049 void sb_update ();
00050 gboolean sb_update_periodic ();
00051 void sb_reset_human_time ();
00052 int sb_get_human_time ();
00053 void menu_show_about_dialog (gpointer);
00054 void menu_show_begging_dialog (gpointer);
00055 void menu_show_dialog (gchar *, gchar *);
00056 void menu_show_game_doc (gpointer, guint);      
00057 void sb_set_turn_image ();
00058 
00059 extern GtkWidget *sb_message_label, *sb_game_label, *sb_score_label,
00060         *sb_who_label, *sb_player_label, *sb_time_label, *sb_turn_image,
00061         *menu_main;
00062 extern GtkWidget *sb_game_separator, *sb_player_separator, *sb_who_separator, 
00063         *sb_score_separator, *sb_time_separator, *sb_turn_separator;
00064 extern GtkItemFactory *menu_factory;
00065 #endif
menu.h
