src/interface.c

   1 /*
   2  * DO NOT EDIT THIS FILE - it is generated by Glade.
   3  */
   4
   5 #ifdef HAVE_CONFIG_H
   6 #  include <config.h>
   7 #endif
   8
   9 #include <sys/types.h>
  10 #include <sys/stat.h>
  11 #include <unistd.h>
  12 #include <string.h>
  13 #include <stdio.h>
  14
  15 #include <gnome.h>
  16
  17 #include "callbacks.h"
  18 #include "interface.h"
  19 #include "support.h"
  20
  21 #define GLADE_HOOKUP_OBJECT(component,widget,name) \
  22   gtk_object_set_data_full (GTK_OBJECT (component), name, \
  23     gtk_widget_ref (widget), (GtkDestroyNotify) gtk_widget_unref)
  24
  25 #define GLADE_HOOKUP_OBJECT_NO_REF(component,widget,name) \
  26   gtk_object_set_data (GTK_OBJECT (component), name, widget)
  27
  28 static GnomeUIInfo file1_menu_uiinfo[] =
  29 {
  30   GNOMEUIINFO_MENU_NEW_ITEM (N_("_New"), NULL, on_new1_activate, NULL),
  31   GNOMEUIINFO_MENU_OPEN_ITEM (on_open_activate, NULL),
  32   GNOMEUIINFO_MENU_SAVE_AS_ITEM (on_save_as1_activate, NULL),
  33   GNOMEUIINFO_SEPARATOR,
  34   GNOMEUIINFO_MENU_EXIT_ITEM (on_quit1_activate, NULL),
  35   GNOMEUIINFO_END
  36 };
  37
  38 static GnomeUIInfo Settings_menu_uiinfo[] =
  39 {
  40   {
  41     GNOME_APP_UI_ITEM, N_("_Player"),
  42     NULL,
  43     (gpointer) on_player1_activate, NULL, NULL,
  44     GNOME_APP_PIXMAP_NONE, NULL,
  45     0, (GdkModifierType) 0, NULL
  46   },
  47   {
  48     GNOME_APP_UI_ITEM, N_("_Theme"),
  49     NULL,
  50     (gpointer) on_theme1_activate, NULL, NULL,
  51     GNOME_APP_PIXMAP_NONE, NULL,
  52     0, (GdkModifierType) 0, NULL
  53   },
  54   GNOMEUIINFO_END
  55 };
  56
  57 static GnomeUIInfo help1_menu_uiinfo[] =
  58 {
  59   {
  60     GNOME_APP_UI_ITEM, N_("_How To Play"),
  61     NULL,
  62     (gpointer) on_how_to_play1_activate, NULL, NULL,
  63     GNOME_APP_PIXMAP_STOCK, "gtk-help",
  64     0, (GdkModifierType) 0, NULL
  65   },
  66   GNOMEUIINFO_MENU_ABOUT_ITEM (on_about1_activate, NULL),
  67   GNOMEUIINFO_END
  68 };
  69
  70 static GnomeUIInfo menubar1_uiinfo[] =
  71 {
  72   GNOMEUIINFO_MENU_GAME_TREE (file1_menu_uiinfo),
  73   GNOMEUIINFO_MENU_SETTINGS_TREE (Settings_menu_uiinfo),
  74   GNOMEUIINFO_MENU_HELP_TREE (help1_menu_uiinfo),
  75   GNOMEUIINFO_END
  76 };
  77
  78 GtkWidget*
  79 create_GamazonsMain (void)
  80 {
  81   GtkWidget *GamazonsMain;
  82   GtkWidget *vbox1;
  83   GtkWidget *menubar1;
  84   GtkWidget *scrolledwindow1;
  85   GtkWidget *viewport1;
  86   GtkWidget *hbox1;
  87   GtkWidget *scrolledwindow2;
  88   GtkWidget *viewport2;
  89   GtkWidget *table1;
  90   GtkWidget *hbox9;
  91   GtkWidget *label30;
  92   GtkWidget *label31;
  93   GtkWidget *label32;
  94   GtkWidget *label33;
  95   GtkWidget *label34;
  96   GtkWidget *label35;
  97   GtkWidget *label36;
  98   GtkWidget *label37;
  99   GtkWidget *label38;
 100   GtkWidget *label39;
 101   GtkWidget *vbox7;
 102   GtkWidget *label29;
 103   GtkWidget *label28;
 104   GtkWidget *label27;
 105   GtkWidget *label26;
 106   GtkWidget *label25;
 107   GtkWidget *label24;
 108   GtkWidget *label23;
 109   GtkWidget *label22;
 110   GtkWidget *label21;
 111   GtkWidget *label20;
 112   GtkWidget *vbox8;
 113   GtkWidget *label40;
 114   GtkWidget *label41;
 115   GtkWidget *label42;
 116   GtkWidget *label43;
 117   GtkWidget *label44;
 118   GtkWidget *label45;
 119   GtkWidget *label46;
 120   GtkWidget *label47;
 121   GtkWidget *label48;
 122   GtkWidget *label49;
 123   GtkWidget *hbox10;
 124   GtkWidget *label10;
 125   GtkWidget *label11;
 126   GtkWidget *label12;
 127   GtkWidget *label13;
 128   GtkWidget *label14;
 129   GtkWidget *label15;
 130   GtkWidget *label16;
 131   GtkWidget *label17;
 132   GtkWidget *label18;
 133   GtkWidget *label19;
 134   GtkWidget *scrolledwindow4;
 135   GtkWidget *CNVS_GAMEBOARD;
 136   AtkObject *atko;
 137   GtkWidget *vbox2;
 138   GtkWidget *vbox3;
 139   GtkWidget *vbox4;
 140   GtkWidget *label1;
 141   GtkWidget *scrolledwindow3;
 142   GtkWidget *viewport3;
 143   GtkWidget *hbox11;
 144   GtkWidget *scrolledwindow5;
 145   GtkWidget *viewport4;
 146   GtkWidget *vbox9;
 147   GtkWidget *vbuttonbox1;
 148   GtkWidget *BT_UNDO;
 149   GtkWidget *BT_FORCEMOVE;
 150   GtkWidget *BT_AUTOFINISH;
 151   GtkWidget *hbox12;
 152   GtkWidget *vbox12;
 153   GtkWidget *hseparator2;
 154   GtkWidget *vbuttonbox2;
 155   GtkWidget *BT_REPLAY;
 156   GtkWidget *BT_REPLAY_STOP;
 157   GtkWidget *label50;
 158   GtkObject *ReplayDelaySpinner_adj;
 159   GtkWidget *ReplayDelaySpinner;
 160   GtkWidget *hseparator3;
 161   GtkWidget *vbox13;
 162   GtkWidget *label51;
 163   GtkObject *MovementSpeedSpinner_adj;
 164   GtkWidget *MovementSpeedSpinner;
 165   GtkWidget *scrolledwindow6;
 166   GtkWidget *textview1;
 167   GtkWidget *statusbar1;
 168
 169   GamazonsMain = gtk_window_new (GTK_WINDOW_TOPLEVEL);
 170   gtk_widget_set_usize (GamazonsMain, 770, 510);
 171   gtk_window_set_title (GTK_WINDOW (GamazonsMain), _("Gamazons"));
 172   gtk_window_set_resizable (GTK_WINDOW (GamazonsMain), FALSE);
 173   gtk_window_set_destroy_with_parent (GTK_WINDOW (GamazonsMain), TRUE);
 174
 175   vbox1 = gtk_vbox_new (FALSE, 0);
 176   gtk_widget_show (vbox1);
 177   gtk_container_add (GTK_CONTAINER (GamazonsMain), vbox1);
 178
 179   menubar1 = gtk_menu_bar_new ();
 180   gtk_widget_show (menubar1);
 181   gtk_box_pack_start (GTK_BOX (vbox1), menubar1, FALSE, FALSE, 0);
 182   gnome_app_fill_menu (GTK_MENU_SHELL (menubar1), menubar1_uiinfo,
 183                        NULL, FALSE, 0);
 184
 185   scrolledwindow1 = gtk_scrolled_window_new (NULL, NULL);
 186   gtk_widget_show (scrolledwindow1);
 187   gtk_box_pack_start (GTK_BOX (vbox1), scrolledwindow1, TRUE, TRUE, 0);
 188   gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW (scrolledwindow1), GTK_POLICY_AUTOMATIC, GTK_POLICY_AUTOMATIC);
 189
 190   viewport1 = gtk_viewport_new (NULL, NULL);
 191   gtk_widget_show (viewport1);
 192   gtk_container_add (GTK_CONTAINER (scrolledwindow1), viewport1);
 193
 194   hbox1 = gtk_hbox_new (FALSE, 0);
 195   gtk_widget_show (hbox1);
 196   gtk_container_add (GTK_CONTAINER (viewport1), hbox1);
 197
 198   scrolledwindow2 = gtk_scrolled_window_new (NULL, NULL);
 199   gtk_widget_show (scrolledwindow2);
 200   gtk_box_pack_start (GTK_BOX (hbox1), scrolledwindow2, TRUE, TRUE, 0);
 201   gtk_widget_set_usize (scrolledwindow2, 210, -2);
 202   GTK_WIDGET_SET_FLAGS (scrolledwindow2, GTK_CAN_DEFAULT);
 203   gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW (scrolledwindow2), GTK_POLICY_AUTOMATIC, GTK_POLICY_AUTOMATIC);
 204
 205   viewport2 = gtk_viewport_new (NULL, NULL);
 206   gtk_widget_show (viewport2);
 207   gtk_container_add (GTK_CONTAINER (scrolledwindow2), viewport2);
 208
 209   table1 = gtk_table_new (3, 3, FALSE);
 210   gtk_widget_show (table1);
 211   gtk_container_add (GTK_CONTAINER (viewport2), table1);
 212
 213   hbox9 = gtk_hbox_new (FALSE, 0);
 214   gtk_widget_show (hbox9);
 215   gtk_table_attach (GTK_TABLE (table1), hbox9, 1, 2, 0, 1,
 216                     (GtkAttachOptions) (GTK_EXPAND | GTK_FILL),
 217                     (GtkAttachOptions) (GTK_EXPAND | GTK_FILL), 0, 0);
 218
 219   label30 = gtk_label_new (_("a"));
 220   gtk_widget_show (label30);
 221   gtk_box_pack_start (GTK_BOX (hbox9), label30, FALSE, FALSE, 0);
 222   gtk_widget_set_usize (label30, 40, 15);
 223   gtk_label_set_justify (GTK_LABEL (label30), GTK_JUSTIFY_LEFT);
 224
 225   label31 = gtk_label_new (_("b"));
 226   gtk_widget_show (label31);
 227   gtk_box_pack_start (GTK_BOX (hbox9), label31, FALSE, FALSE, 0);
 228   gtk_widget_set_usize (label31, 40, 15);
 229   gtk_label_set_justify (GTK_LABEL (label31), GTK_JUSTIFY_LEFT);
 230
 231   label32 = gtk_label_new (_("c"));
 232   gtk_widget_show (label32);
 233   gtk_box_pack_start (GTK_BOX (hbox9), label32, FALSE, FALSE, 0);
 234   gtk_widget_set_usize (label32, 40, 15);
 235   gtk_label_set_justify (GTK_LABEL (label32), GTK_JUSTIFY_LEFT);
 236
 237   label33 = gtk_label_new (_("d"));
 238   gtk_widget_show (label33);
 239   gtk_box_pack_start (GTK_BOX (hbox9), label33, FALSE, FALSE, 0);
 240   gtk_widget_set_usize (label33, 40, 15);
 241   gtk_label_set_justify (GTK_LABEL (label33), GTK_JUSTIFY_LEFT);
 242
 243   label34 = gtk_label_new (_("e"));
 244   gtk_widget_show (label34);
 245   gtk_box_pack_start (GTK_BOX (hbox9), label34, FALSE, FALSE, 0);
 246   gtk_widget_set_usize (label34, 40, 15);
 247   gtk_label_set_justify (GTK_LABEL (label34), GTK_JUSTIFY_LEFT);
 248
 249   label35 = gtk_label_new (_("f"));
 250   gtk_widget_show (label35);
 251   gtk_box_pack_start (GTK_BOX (hbox9), label35, FALSE, FALSE, 0);
 252   gtk_widget_set_usize (label35, 40, 15);
 253   gtk_label_set_justify (GTK_LABEL (label35), GTK_JUSTIFY_LEFT);
 254
 255   label36 = gtk_label_new (_("g"));
 256   gtk_widget_show (label36);
 257   gtk_box_pack_start (GTK_BOX (hbox9), label36, FALSE, FALSE, 0);
 258   gtk_widget_set_usize (label36, 40, 15);
 259   gtk_label_set_justify (GTK_LABEL (label36), GTK_JUSTIFY_LEFT);
 260
 261   label37 = gtk_label_new (_("h"));
 262   gtk_widget_show (label37);
 263   gtk_box_pack_start (GTK_BOX (hbox9), label37, FALSE, FALSE, 0);
 264   gtk_widget_set_usize (label37, 40, 15);
 265   gtk_label_set_justify (GTK_LABEL (label37), GTK_JUSTIFY_LEFT);
 266
 267   label38 = gtk_label_new (_("i"));
 268   gtk_widget_show (label38);
 269   gtk_box_pack_start (GTK_BOX (hbox9), label38, FALSE, FALSE, 0);
 270   gtk_widget_set_usize (label38, 40, 15);
 271   gtk_label_set_justify (GTK_LABEL (label38), GTK_JUSTIFY_LEFT);
 272
 273   label39 = gtk_label_new (_("j"));
 274   gtk_widget_show (label39);
 275   gtk_box_pack_start (GTK_BOX (hbox9), label39, FALSE, FALSE, 0);
 276   gtk_widget_set_usize (label39, 40, 15);
 277   gtk_label_set_justify (GTK_LABEL (label39), GTK_JUSTIFY_LEFT);
 278
 279   vbox7 = gtk_vbox_new (FALSE, 0);
 280   gtk_widget_show (vbox7);
 281   gtk_table_attach (GTK_TABLE (table1), vbox7, 0, 1, 1, 2,
 282                     (GtkAttachOptions) (GTK_EXPAND | GTK_FILL),
 283                     (GtkAttachOptions) (GTK_EXPAND | GTK_FILL), 0, 0);
 284
 285   label29 = gtk_label_new (_("10"));
 286   gtk_widget_show (label29);
 287   gtk_box_pack_start (GTK_BOX (vbox7), label29, FALSE, FALSE, 0);
 288   gtk_widget_set_usize (label29, 15, 40);
 289   gtk_label_set_justify (GTK_LABEL (label29), GTK_JUSTIFY_LEFT);
 290
 291   label28 = gtk_label_new (_("9"));
 292   gtk_widget_show (label28);
 293   gtk_box_pack_start (GTK_BOX (vbox7), label28, FALSE, FALSE, 0);
 294   gtk_widget_set_usize (label28, 15, 40);
 295   gtk_label_set_justify (GTK_LABEL (label28), GTK_JUSTIFY_LEFT);
 296
 297   label27 = gtk_label_new (_("8"));
 298   gtk_widget_show (label27);
 299   gtk_box_pack_start (GTK_BOX (vbox7), label27, FALSE, FALSE, 0);
 300   gtk_widget_set_usize (label27, 15, 40);
 301   gtk_label_set_justify (GTK_LABEL (label27), GTK_JUSTIFY_LEFT);
 302
 303   label26 = gtk_label_new (_("7"));
 304   gtk_widget_show (label26);
 305   gtk_box_pack_start (GTK_BOX (vbox7), label26, FALSE, FALSE, 0);
 306   gtk_widget_set_usize (label26, 15, 40);
 307   gtk_label_set_justify (GTK_LABEL (label26), GTK_JUSTIFY_LEFT);
 308
 309   label25 = gtk_label_new (_("6"));
 310   gtk_widget_show (label25);
 311   gtk_box_pack_start (GTK_BOX (vbox7), label25, FALSE, FALSE, 0);
 312   gtk_widget_set_usize (label25, 15, 40);
 313   gtk_label_set_justify (GTK_LABEL (label25), GTK_JUSTIFY_LEFT);
 314
 315   label24 = gtk_label_new (_("5"));
 316   gtk_widget_show (label24);
 317   gtk_box_pack_start (GTK_BOX (vbox7), label24, FALSE, FALSE, 0);
 318   gtk_widget_set_usize (label24, 15, 40);
 319   gtk_label_set_justify (GTK_LABEL (label24), GTK_JUSTIFY_LEFT);
 320
 321   label23 = gtk_label_new (_("4"));
 322   gtk_widget_show (label23);
 323   gtk_box_pack_start (GTK_BOX (vbox7), label23, FALSE, FALSE, 0);
 324   gtk_widget_set_usize (label23, 15, 40);
 325   gtk_label_set_justify (GTK_LABEL (label23), GTK_JUSTIFY_LEFT);
 326
 327   label22 = gtk_label_new (_("3"));
 328   gtk_widget_show (label22);
 329   gtk_box_pack_start (GTK_BOX (vbox7), label22, FALSE, FALSE, 0);
 330   gtk_widget_set_usize (label22, 15, 40);
 331   gtk_label_set_justify (GTK_LABEL (label22), GTK_JUSTIFY_LEFT);
 332
 333   label21 = gtk_label_new (_("2"));
 334   gtk_widget_show (label21);
 335   gtk_box_pack_start (GTK_BOX (vbox7), label21, FALSE, FALSE, 0);
 336   gtk_widget_set_usize (label21, 15, 40);
 337   gtk_label_set_justify (GTK_LABEL (label21), GTK_JUSTIFY_LEFT);
 338
 339   label20 = gtk_label_new (_("1"));
 340   gtk_widget_show (label20);
 341   gtk_box_pack_start (GTK_BOX (vbox7), label20, FALSE, FALSE, 0);
 342   gtk_widget_set_usize (label20, 15, 40);
 343   gtk_label_set_justify (GTK_LABEL (label20), GTK_JUSTIFY_LEFT);
 344
 345   vbox8 = gtk_vbox_new (FALSE, 0);
 346   gtk_widget_show (vbox8);
 347   gtk_table_attach (GTK_TABLE (table1), vbox8, 2, 3, 1, 2,
 348                     (GtkAttachOptions) (GTK_EXPAND | GTK_FILL),
 349                     (GtkAttachOptions) (GTK_FILL), 0, 0);
 350
 351   label40 = gtk_label_new (_("10"));
 352   gtk_widget_show (label40);
 353   gtk_box_pack_start (GTK_BOX (vbox8), label40, FALSE, FALSE, 0);
 354   gtk_widget_set_usize (label40, 15, 40);
 355   gtk_label_set_justify (GTK_LABEL (label40), GTK_JUSTIFY_LEFT);
 356
 357   label41 = gtk_label_new (_("9"));
 358   gtk_widget_show (label41);
 359   gtk_box_pack_start (GTK_BOX (vbox8), label41, FALSE, FALSE, 0);
 360   gtk_widget_set_usize (label41, 15, 40);
 361   gtk_label_set_justify (GTK_LABEL (label41), GTK_JUSTIFY_LEFT);
 362
 363   label42 = gtk_label_new (_("8"));
 364   gtk_widget_show (label42);
 365   gtk_box_pack_start (GTK_BOX (vbox8), label42, FALSE, FALSE, 0);
 366   gtk_widget_set_usize (label42, 15, 40);
 367   gtk_label_set_justify (GTK_LABEL (label42), GTK_JUSTIFY_LEFT);
 368
 369   label43 = gtk_label_new (_("7"));
 370   gtk_widget_show (label43);
 371   gtk_box_pack_start (GTK_BOX (vbox8), label43, FALSE, FALSE, 0);
 372   gtk_widget_set_usize (label43, 15, 40);
 373   gtk_label_set_justify (GTK_LABEL (label43), GTK_JUSTIFY_LEFT);
 374
 375   label44 = gtk_label_new (_("6"));
 376   gtk_widget_show (label44);
 377   gtk_box_pack_start (GTK_BOX (vbox8), label44, FALSE, FALSE, 0);
 378   gtk_widget_set_usize (label44, 15, 40);
 379   gtk_label_set_justify (GTK_LABEL (label44), GTK_JUSTIFY_LEFT);
 380
 381   label45 = gtk_label_new (_("5"));
 382   gtk_widget_show (label45);
 383   gtk_box_pack_start (GTK_BOX (vbox8), label45, FALSE, FALSE, 0);
 384   gtk_widget_set_usize (label45, 15, 40);
 385   gtk_label_set_justify (GTK_LABEL (label45), GTK_JUSTIFY_LEFT);
 386
 387   label46 = gtk_label_new (_("4"));
 388   gtk_widget_show (label46);
 389   gtk_box_pack_start (GTK_BOX (vbox8), label46, FALSE, FALSE, 0);
 390   gtk_widget_set_usize (label46, 15, 40);
 391   gtk_label_set_justify (GTK_LABEL (label46), GTK_JUSTIFY_LEFT);
 392
 393   label47 = gtk_label_new (_("3"));
 394   gtk_widget_show (label47);
 395   gtk_box_pack_start (GTK_BOX (vbox8), label47, FALSE, FALSE, 0);
 396   gtk_widget_set_usize (label47, 15, 40);
 397   gtk_label_set_justify (GTK_LABEL (label47), GTK_JUSTIFY_LEFT);
 398
 399   label48 = gtk_label_new (_("2"));
 400   gtk_widget_show (label48);
 401   gtk_box_pack_start (GTK_BOX (vbox8), label48, FALSE, FALSE, 0);
 402   gtk_widget_set_usize (label48, 15, 40);
 403   gtk_label_set_justify (GTK_LABEL (label48), GTK_JUSTIFY_LEFT);
 404
 405   label49 = gtk_label_new (_("1"));
 406   gtk_widget_show (label49);
 407   gtk_box_pack_start (GTK_BOX (vbox8), label49, FALSE, FALSE, 0);
 408   gtk_widget_set_usize (label49, 15, 40);
 409   gtk_label_set_justify (GTK_LABEL (label49), GTK_JUSTIFY_LEFT);
 410
 411   hbox10 = gtk_hbox_new (FALSE, 0);
 412   gtk_widget_show (hbox10);
 413   gtk_table_attach (GTK_TABLE (table1), hbox10, 1, 2, 2, 3,
 414                     (GtkAttachOptions) (GTK_FILL),
 415                     (GtkAttachOptions) (GTK_EXPAND | GTK_FILL), 0, 0);
 416
 417   label10 = gtk_label_new (_("a"));
 418   gtk_widget_show (label10);
 419   gtk_box_pack_start (GTK_BOX (hbox10), label10, FALSE, FALSE, 0);
 420   gtk_widget_set_usize (label10, 40, 15);
 421   gtk_label_set_justify (GTK_LABEL (label10), GTK_JUSTIFY_LEFT);
 422
 423   label11 = gtk_label_new (_("b"));
 424   gtk_widget_show (label11);
 425   gtk_box_pack_start (GTK_BOX (hbox10), label11, FALSE, FALSE, 0);
 426   gtk_widget_set_usize (label11, 40, 15);
 427   gtk_label_set_justify (GTK_LABEL (label11), GTK_JUSTIFY_LEFT);
 428
 429   label12 = gtk_label_new (_("c"));
 430   gtk_widget_show (label12);
 431   gtk_box_pack_start (GTK_BOX (hbox10), label12, FALSE, FALSE, 0);
 432   gtk_widget_set_usize (label12, 40, 15);
 433   gtk_label_set_justify (GTK_LABEL (label12), GTK_JUSTIFY_LEFT);
 434
 435   label13 = gtk_label_new (_("d"));
 436   gtk_widget_show (label13);
 437   gtk_box_pack_start (GTK_BOX (hbox10), label13, FALSE, FALSE, 0);
 438   gtk_widget_set_usize (label13, 40, 15);
 439   gtk_label_set_justify (GTK_LABEL (label13), GTK_JUSTIFY_LEFT);
 440
 441   label14 = gtk_label_new (_("e"));
 442   gtk_widget_show (label14);
 443   gtk_box_pack_start (GTK_BOX (hbox10), label14, FALSE, FALSE, 0);
 444   gtk_widget_set_usize (label14, 40, 15);
 445   gtk_label_set_justify (GTK_LABEL (label14), GTK_JUSTIFY_LEFT);
 446
 447   label15 = gtk_label_new (_("f"));
 448   gtk_widget_show (label15);
 449   gtk_box_pack_start (GTK_BOX (hbox10), label15, FALSE, FALSE, 0);
 450   gtk_widget_set_usize (label15, 40, 15);
 451   gtk_label_set_justify (GTK_LABEL (label15), GTK_JUSTIFY_LEFT);
 452
 453   label16 = gtk_label_new (_("g"));
 454   gtk_widget_show (label16);
 455   gtk_box_pack_start (GTK_BOX (hbox10), label16, FALSE, FALSE, 0);
 456   gtk_widget_set_usize (label16, 40, 15);
 457   gtk_label_set_justify (GTK_LABEL (label16), GTK_JUSTIFY_LEFT);
 458
 459   label17 = gtk_label_new (_("h"));
 460   gtk_widget_show (label17);
 461   gtk_box_pack_start (GTK_BOX (hbox10), label17, FALSE, FALSE, 0);
 462   gtk_widget_set_usize (label17, 40, 15);
 463   gtk_label_set_justify (GTK_LABEL (label17), GTK_JUSTIFY_LEFT);
 464
 465   label18 = gtk_label_new (_("i"));
 466   gtk_widget_show (label18);
 467   gtk_box_pack_start (GTK_BOX (hbox10), label18, FALSE, FALSE, 0);
 468   gtk_widget_set_usize (label18, 40, 15);
 469   gtk_label_set_justify (GTK_LABEL (label18), GTK_JUSTIFY_LEFT);
 470
 471   label19 = gtk_label_new (_("j"));
 472   gtk_widget_show (label19);
 473   gtk_box_pack_start (GTK_BOX (hbox10), label19, FALSE, FALSE, 0);
 474   gtk_widget_set_usize (label19, 40, 15);
 475   gtk_label_set_justify (GTK_LABEL (label19), GTK_JUSTIFY_LEFT);
 476
 477   scrolledwindow4 = gtk_scrolled_window_new (NULL, NULL);
 478   gtk_widget_show (scrolledwindow4);
 479   gtk_table_attach (GTK_TABLE (table1), scrolledwindow4, 1, 2, 1, 2,
 480                     (GtkAttachOptions) (GTK_FILL),
 481                     (GtkAttachOptions) (GTK_FILL), 0, 0);
 482   gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW (scrolledwindow4), GTK_POLICY_NEVER, GTK_POLICY_NEVER);
 483
 484   CNVS_GAMEBOARD = gnome_canvas_new ();
 485   gtk_widget_show (CNVS_GAMEBOARD);
 486   gtk_container_add (GTK_CONTAINER (scrolledwindow4), CNVS_GAMEBOARD);
 487   gtk_widget_set_usize (CNVS_GAMEBOARD, 400, 400);
 488   gnome_canvas_set_scroll_region (GNOME_CANVAS (CNVS_GAMEBOARD), 0, 0, 100, 100);
 489
 490   vbox2 = gtk_vbox_new (FALSE, 0);
 491   gtk_widget_show (vbox2);
 492   gtk_box_pack_start (GTK_BOX (hbox1), vbox2, TRUE, TRUE, 0);
 493
 494   vbox3 = gtk_vbox_new (FALSE, 0);
 495   gtk_widget_show (vbox3);
 496   gtk_box_pack_start (GTK_BOX (vbox2), vbox3, TRUE, TRUE, 0);
 497
 498   vbox4 = gtk_vbox_new (FALSE, 0);
 499   gtk_widget_show (vbox4);
 500   gtk_box_pack_start (GTK_BOX (vbox3), vbox4, TRUE, TRUE, 0);
 501
 502   label1 = gtk_label_new (_("Move History:"));
 503   gtk_widget_show (label1);
 504   gtk_box_pack_start (GTK_BOX (vbox4), label1, FALSE, FALSE, 0);
 505   gtk_widget_set_usize (label1, 0, 40);
 506   gtk_label_set_justify (GTK_LABEL (label1), GTK_JUSTIFY_RIGHT);
 507   gtk_misc_set_alignment (GTK_MISC (label1), 0.55, 0.72);
 508
 509   scrolledwindow3 = gtk_scrolled_window_new (NULL, NULL);
 510   gtk_widget_show (scrolledwindow3);
 511   gtk_box_pack_start (GTK_BOX (vbox4), scrolledwindow3, TRUE, TRUE, 0);
 512   gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW (scrolledwindow3), GTK_POLICY_AUTOMATIC, GTK_POLICY_AUTOMATIC);
 513
 514   viewport3 = gtk_viewport_new (NULL, NULL);
 515   gtk_widget_show (viewport3);
 516   gtk_container_add (GTK_CONTAINER (scrolledwindow3), viewport3);
 517   gtk_viewport_set_shadow_type (GTK_VIEWPORT (viewport3), GTK_SHADOW_NONE);
 518
 519   hbox11 = gtk_hbox_new (FALSE, 0);
 520   gtk_widget_show (hbox11);
 521   gtk_container_add (GTK_CONTAINER (viewport3), hbox11);
 522
 523   scrolledwindow5 = gtk_scrolled_window_new (NULL, NULL);
 524   gtk_widget_show (scrolledwindow5);
 525   gtk_box_pack_start (GTK_BOX (hbox11), scrolledwindow5, TRUE, TRUE, 0);
 526   gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW (scrolledwindow5), GTK_POLICY_AUTOMATIC, GTK_POLICY_AUTOMATIC);
 527
 528   viewport4 = gtk_viewport_new (NULL, NULL);
 529   gtk_widget_show (viewport4);
 530   gtk_container_add (GTK_CONTAINER (scrolledwindow5), viewport4);
 531   gtk_widget_set_usize (viewport4, -2, 17);
 532   gtk_viewport_set_shadow_type (GTK_VIEWPORT (viewport4), GTK_SHADOW_NONE);
 533
 534   vbox9 = gtk_vbox_new (FALSE, 0);
 535   gtk_widget_show (vbox9);
 536   gtk_container_add (GTK_CONTAINER (viewport4), vbox9);
 537
 538   vbuttonbox1 = gtk_vbutton_box_new ();
 539   gtk_widget_show (vbuttonbox1);
 540   gtk_box_pack_start (GTK_BOX (vbox9), vbuttonbox1, FALSE, TRUE, 0);
 541   gtk_widget_set_usize (vbuttonbox1, -2, 105);
 542   gtk_button_box_set_spacing (GTK_BUTTON_BOX (vbuttonbox1), 0);
 543
 544   BT_UNDO = gtk_button_new_with_mnemonic (_("Undo"));
 545   gtk_widget_show (BT_UNDO);
 546   gtk_container_add (GTK_CONTAINER (vbuttonbox1), BT_UNDO);
 547   gtk_widget_set_usize (BT_UNDO, -2, 30);
 548   GTK_WIDGET_SET_FLAGS (BT_UNDO, GTK_CAN_DEFAULT);
 549
 550   BT_FORCEMOVE = gtk_button_new_with_mnemonic (_("Force Move"));
 551   gtk_widget_show (BT_FORCEMOVE);
 552   gtk_container_add (GTK_CONTAINER (vbuttonbox1), BT_FORCEMOVE);
 553   gtk_widget_set_usize (BT_FORCEMOVE, 106, 30);
 554   GTK_WIDGET_SET_FLAGS (BT_FORCEMOVE, GTK_CAN_DEFAULT);
 555
 556   BT_AUTOFINISH = gtk_button_new_with_mnemonic (_("Autofinish"));
 557   gtk_widget_show (BT_AUTOFINISH);
 558   gtk_container_add (GTK_CONTAINER (vbuttonbox1), BT_AUTOFINISH);
 559   gtk_widget_set_usize (BT_AUTOFINISH, -2, 30);
 560   GTK_WIDGET_SET_FLAGS (BT_AUTOFINISH, GTK_CAN_DEFAULT);
 561
 562   hbox12 = gtk_hbox_new (FALSE, 0);
 563   gtk_widget_show (hbox12);
 564   gtk_box_pack_start (GTK_BOX (vbox9), hbox12, TRUE, TRUE, 0);
 565
 566   vbox12 = gtk_vbox_new (FALSE, 0);
 567   gtk_widget_show (vbox12);
 568   gtk_box_pack_start (GTK_BOX (hbox12), vbox12, TRUE, TRUE, 0);
 569
 570   hseparator2 = gtk_hseparator_new ();
 571   gtk_widget_show (hseparator2);
 572   gtk_box_pack_start (GTK_BOX (vbox12), hseparator2, FALSE, FALSE, 7);
 573
 574   vbuttonbox2 = gtk_vbutton_box_new ();
 575   gtk_widget_show (vbuttonbox2);
 576   gtk_box_pack_start (GTK_BOX (vbox12), vbuttonbox2, FALSE, FALSE, 0);
 577   gtk_button_box_set_spacing (GTK_BUTTON_BOX (vbuttonbox2), 7);
 578
 579   BT_REPLAY = gtk_button_new_with_mnemonic (_("Replay"));
 580   gtk_widget_show (BT_REPLAY);
 581   gtk_container_add (GTK_CONTAINER (vbuttonbox2), BT_REPLAY);
 582   gtk_widget_set_usize (BT_REPLAY, 107, -2);
 583   GTK_WIDGET_SET_FLAGS (BT_REPLAY, GTK_CAN_DEFAULT);
 584
 585   BT_REPLAY_STOP = gtk_button_new_with_mnemonic (_("Stop"));
 586   gtk_widget_show (BT_REPLAY_STOP);
 587   gtk_container_add (GTK_CONTAINER (vbuttonbox2), BT_REPLAY_STOP);
 588   gtk_widget_set_usize (BT_REPLAY_STOP, 37, -2);
 589   GTK_WIDGET_SET_FLAGS (BT_REPLAY_STOP, GTK_CAN_DEFAULT);
 590
 591   label50 = gtk_label_new (_("Replay Delay"));
 592   gtk_widget_show (label50);
 593   gtk_box_pack_start (GTK_BOX (vbox12), label50, FALSE, FALSE, 0);
 594   gtk_label_set_justify (GTK_LABEL (label50), GTK_JUSTIFY_LEFT);
 595   gtk_misc_set_alignment (GTK_MISC (label50), 0.5, 0);
 596   gtk_misc_set_padding (GTK_MISC (label50), 0, 4);
 597
 598   ReplayDelaySpinner_adj = gtk_adjustment_new (1, 1, 100, 1, 10, 10);
 599   ReplayDelaySpinner = gtk_spin_button_new (GTK_ADJUSTMENT (ReplayDelaySpinner_adj), 1, 0);
 600   gtk_widget_show (ReplayDelaySpinner);
 601   gtk_box_pack_start (GTK_BOX (vbox12), ReplayDelaySpinner, FALSE, FALSE, 0);
 602
 603   hseparator3 = gtk_hseparator_new ();
 604   gtk_widget_show (hseparator3);
 605   gtk_box_pack_start (GTK_BOX (vbox12), hseparator3, FALSE, FALSE, 7);
 606
 607   vbox13 = gtk_vbox_new (FALSE, 0);
 608   gtk_widget_show (vbox13);
 609   gtk_box_pack_start (GTK_BOX (vbox12), vbox13, TRUE, TRUE, 0);
 610
 611   label51 = gtk_label_new (_("Movement Speed"));
 612   gtk_widget_show (label51);
 613   gtk_box_pack_start (GTK_BOX (vbox13), label51, FALSE, FALSE, 0);
 614   gtk_label_set_justify (GTK_LABEL (label51), GTK_JUSTIFY_LEFT);
 615   gtk_misc_set_alignment (GTK_MISC (label51), 0.5, 0);
 616   gtk_misc_set_padding (GTK_MISC (label51), 0, 4);
 617
 618   MovementSpeedSpinner_adj = gtk_adjustment_new (1, 1, 10, 1, 10, 10);
 619   MovementSpeedSpinner = gtk_spin_button_new (GTK_ADJUSTMENT (MovementSpeedSpinner_adj), 1, 0);
 620   gtk_widget_show (MovementSpeedSpinner);
 621   gtk_box_pack_start (GTK_BOX (vbox13), MovementSpeedSpinner, FALSE, FALSE, 0);
 622
 623   scrolledwindow6 = gtk_scrolled_window_new (NULL, NULL);
 624   gtk_widget_show (scrolledwindow6);
 625   gtk_box_pack_start (GTK_BOX (hbox11), scrolledwindow6, TRUE, TRUE, 0);
 626   gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW (scrolledwindow6), GTK_POLICY_AUTOMATIC, GTK_POLICY_AUTOMATIC);
 627
 628   textview1 = gtk_text_view_new ();
 629   gtk_widget_show (textview1);
 630   gtk_container_add (GTK_CONTAINER (scrolledwindow6), textview1);
 631   gtk_widget_set_usize (textview1, 120, -2);
 632   gtk_text_view_set_editable (GTK_TEXT_VIEW (textview1), FALSE);
 633   gtk_text_view_set_cursor_visible (GTK_TEXT_VIEW (textview1), FALSE);
 634
 635   statusbar1 = gtk_statusbar_new ();
 636   gtk_widget_show (statusbar1);
 637   gtk_box_pack_start (GTK_BOX (vbox1), statusbar1, FALSE, FALSE, 0);
 638
 639   gtk_signal_connect (GTK_OBJECT (GamazonsMain), "destroy",
 640                       GTK_SIGNAL_FUNC (on_GamazonsMain_destroy),
 641                       NULL);
 642   gtk_signal_connect (GTK_OBJECT (BT_UNDO), "clicked",
 643                       GTK_SIGNAL_FUNC (on_BT_UNDO_clicked),
 644                       NULL);
 645   gtk_signal_connect (GTK_OBJECT (BT_FORCEMOVE), "clicked",
 646                       GTK_SIGNAL_FUNC (on_BT_FORCEMOVE_clicked),
 647                       NULL);
 648   gtk_signal_connect (GTK_OBJECT (BT_AUTOFINISH), "clicked",
 649                       GTK_SIGNAL_FUNC (on_BT_AUTOFINISH_clicked),
 650                       NULL);
 651   gtk_signal_connect (GTK_OBJECT (BT_REPLAY), "clicked",
 652                       GTK_SIGNAL_FUNC (on_BT_REPLAY_clicked),
 653                       NULL);
 654   gtk_signal_connect (GTK_OBJECT (BT_REPLAY_STOP), "clicked",
 655                       GTK_SIGNAL_FUNC (on_BT_REPLAY_STOP_clicked),
 656                       NULL);
 657
 658   atko = gtk_widget_get_accessible (CNVS_GAMEBOARD);
 659   atk_object_set_name (atko, _("CNVS_GAMEBOARD"));
 660
 661
 662   /* Store pointers to all widgets, for use by lookup_widget(). */
 663   GLADE_HOOKUP_OBJECT_NO_REF (GamazonsMain, GamazonsMain, "GamazonsMain");
 664   GLADE_HOOKUP_OBJECT (GamazonsMain, vbox1, "vbox1");
 665   GLADE_HOOKUP_OBJECT (GamazonsMain, menubar1, "menubar1");
 666   GLADE_HOOKUP_OBJECT (GamazonsMain, menubar1_uiinfo[0].widget, "file1");
 667   GLADE_HOOKUP_OBJECT (GamazonsMain, file1_menu_uiinfo[0].widget, "new1");
 668   GLADE_HOOKUP_OBJECT (GamazonsMain, file1_menu_uiinfo[1].widget, "open");
 669   GLADE_HOOKUP_OBJECT (GamazonsMain, file1_menu_uiinfo[2].widget, "save_as1");
 670   GLADE_HOOKUP_OBJECT (GamazonsMain, file1_menu_uiinfo[3].widget, "separator1");
 671   GLADE_HOOKUP_OBJECT (GamazonsMain, file1_menu_uiinfo[4].widget, "quit1");
 672   GLADE_HOOKUP_OBJECT (GamazonsMain, menubar1_uiinfo[1].widget, "Settings");
 673   GLADE_HOOKUP_OBJECT (GamazonsMain, Settings_menu_uiinfo[0].widget, "player1");
 674   GLADE_HOOKUP_OBJECT (GamazonsMain, Settings_menu_uiinfo[1].widget, "theme1");
 675   GLADE_HOOKUP_OBJECT (GamazonsMain, menubar1_uiinfo[2].widget, "help1");
 676   GLADE_HOOKUP_OBJECT (GamazonsMain, help1_menu_uiinfo[0].widget, "how_to_play1");
 677   GLADE_HOOKUP_OBJECT (GamazonsMain, help1_menu_uiinfo[1].widget, "about1");
 678   GLADE_HOOKUP_OBJECT (GamazonsMain, scrolledwindow1, "scrolledwindow1");
 679   GLADE_HOOKUP_OBJECT (GamazonsMain, viewport1, "viewport1");
 680   GLADE_HOOKUP_OBJECT (GamazonsMain, hbox1, "hbox1");
 681   GLADE_HOOKUP_OBJECT (GamazonsMain, scrolledwindow2, "scrolledwindow2");
 682   GLADE_HOOKUP_OBJECT (GamazonsMain, viewport2, "viewport2");
 683   GLADE_HOOKUP_OBJECT (GamazonsMain, table1, "table1");
 684   GLADE_HOOKUP_OBJECT (GamazonsMain, hbox9, "hbox9");
 685   GLADE_HOOKUP_OBJECT (GamazonsMain, label30, "label30");
 686   GLADE_HOOKUP_OBJECT (GamazonsMain, label31, "label31");
 687   GLADE_HOOKUP_OBJECT (GamazonsMain, label32, "label32");
 688   GLADE_HOOKUP_OBJECT (GamazonsMain, label33, "label33");
 689   GLADE_HOOKUP_OBJECT (GamazonsMain, label34, "label34");
 690   GLADE_HOOKUP_OBJECT (GamazonsMain, label35, "label35");
 691   GLADE_HOOKUP_OBJECT (GamazonsMain, label36, "label36");
 692   GLADE_HOOKUP_OBJECT (GamazonsMain, label37, "label37");
 693   GLADE_HOOKUP_OBJECT (GamazonsMain, label38, "label38");
 694   GLADE_HOOKUP_OBJECT (GamazonsMain, label39, "label39");
 695   GLADE_HOOKUP_OBJECT (GamazonsMain, vbox7, "vbox7");
 696   GLADE_HOOKUP_OBJECT (GamazonsMain, label29, "label29");
 697   GLADE_HOOKUP_OBJECT (GamazonsMain, label28, "label28");
 698   GLADE_HOOKUP_OBJECT (GamazonsMain, label27, "label27");
 699   GLADE_HOOKUP_OBJECT (GamazonsMain, label26, "label26");
 700   GLADE_HOOKUP_OBJECT (GamazonsMain, label25, "label25");
 701   GLADE_HOOKUP_OBJECT (GamazonsMain, label24, "label24");
 702   GLADE_HOOKUP_OBJECT (GamazonsMain, label23, "label23");
 703   GLADE_HOOKUP_OBJECT (GamazonsMain, label22, "label22");
 704   GLADE_HOOKUP_OBJECT (GamazonsMain, label21, "label21");
 705   GLADE_HOOKUP_OBJECT (GamazonsMain, label20, "label20");
 706   GLADE_HOOKUP_OBJECT (GamazonsMain, vbox8, "vbox8");
 707   GLADE_HOOKUP_OBJECT (GamazonsMain, label40, "label40");
 708   GLADE_HOOKUP_OBJECT (GamazonsMain, label41, "label41");
 709   GLADE_HOOKUP_OBJECT (GamazonsMain, label42, "label42");
 710   GLADE_HOOKUP_OBJECT (GamazonsMain, label43, "label43");
 711   GLADE_HOOKUP_OBJECT (GamazonsMain, label44, "label44");
 712   GLADE_HOOKUP_OBJECT (GamazonsMain, label45, "label45");
 713   GLADE_HOOKUP_OBJECT (GamazonsMain, label46, "label46");
 714   GLADE_HOOKUP_OBJECT (GamazonsMain, label47, "label47");
 715   GLADE_HOOKUP_OBJECT (GamazonsMain, label48, "label48");
 716   GLADE_HOOKUP_OBJECT (GamazonsMain, label49, "label49");
 717   GLADE_HOOKUP_OBJECT (GamazonsMain, hbox10, "hbox10");
 718   GLADE_HOOKUP_OBJECT (GamazonsMain, label10, "label10");
 719   GLADE_HOOKUP_OBJECT (GamazonsMain, label11, "label11");
 720   GLADE_HOOKUP_OBJECT (GamazonsMain, label12, "label12");
 721   GLADE_HOOKUP_OBJECT (GamazonsMain, label13, "label13");
 722   GLADE_HOOKUP_OBJECT (GamazonsMain, label14, "label14");
 723   GLADE_HOOKUP_OBJECT (GamazonsMain, label15, "label15");
 724   GLADE_HOOKUP_OBJECT (GamazonsMain, label16, "label16");
 725   GLADE_HOOKUP_OBJECT (GamazonsMain, label17, "label17");
 726   GLADE_HOOKUP_OBJECT (GamazonsMain, label18, "label18");
 727   GLADE_HOOKUP_OBJECT (GamazonsMain, label19, "label19");
 728   GLADE_HOOKUP_OBJECT (GamazonsMain, scrolledwindow4, "scrolledwindow4");
 729   GLADE_HOOKUP_OBJECT (GamazonsMain, CNVS_GAMEBOARD, "CNVS_GAMEBOARD");
 730   GLADE_HOOKUP_OBJECT (GamazonsMain, vbox2, "vbox2");
 731   GLADE_HOOKUP_OBJECT (GamazonsMain, vbox3, "vbox3");
 732   GLADE_HOOKUP_OBJECT (GamazonsMain, vbox4, "vbox4");
 733   GLADE_HOOKUP_OBJECT (GamazonsMain, label1, "label1");
 734   GLADE_HOOKUP_OBJECT (GamazonsMain, scrolledwindow3, "scrolledwindow3");
 735   GLADE_HOOKUP_OBJECT (GamazonsMain, viewport3, "viewport3");
 736   GLADE_HOOKUP_OBJECT (GamazonsMain, hbox11, "hbox11");
 737   GLADE_HOOKUP_OBJECT (GamazonsMain, scrolledwindow5, "scrolledwindow5");
 738   GLADE_HOOKUP_OBJECT (GamazonsMain, viewport4, "viewport4");
 739   GLADE_HOOKUP_OBJECT (GamazonsMain, vbox9, "vbox9");
 740   GLADE_HOOKUP_OBJECT (GamazonsMain, vbuttonbox1, "vbuttonbox1");
 741   GLADE_HOOKUP_OBJECT (GamazonsMain, BT_UNDO, "BT_UNDO");
 742   GLADE_HOOKUP_OBJECT (GamazonsMain, BT_FORCEMOVE, "BT_FORCEMOVE");
 743   GLADE_HOOKUP_OBJECT (GamazonsMain, BT_AUTOFINISH, "BT_AUTOFINISH");
 744   GLADE_HOOKUP_OBJECT (GamazonsMain, hbox12, "hbox12");
 745   GLADE_HOOKUP_OBJECT (GamazonsMain, vbox12, "vbox12");
 746   GLADE_HOOKUP_OBJECT (GamazonsMain, hseparator2, "hseparator2");
 747   GLADE_HOOKUP_OBJECT (GamazonsMain, vbuttonbox2, "vbuttonbox2");
 748   GLADE_HOOKUP_OBJECT (GamazonsMain, BT_REPLAY, "BT_REPLAY");
 749   GLADE_HOOKUP_OBJECT (GamazonsMain, BT_REPLAY_STOP, "BT_REPLAY_STOP");
 750   GLADE_HOOKUP_OBJECT (GamazonsMain, label50, "label50");
 751   GLADE_HOOKUP_OBJECT (GamazonsMain, ReplayDelaySpinner, "ReplayDelaySpinner");
 752   GLADE_HOOKUP_OBJECT (GamazonsMain, hseparator3, "hseparator3");
 753   GLADE_HOOKUP_OBJECT (GamazonsMain, vbox13, "vbox13");
 754   GLADE_HOOKUP_OBJECT (GamazonsMain, label51, "label51");
 755   GLADE_HOOKUP_OBJECT (GamazonsMain, MovementSpeedSpinner, "MovementSpeedSpinner");
 756   GLADE_HOOKUP_OBJECT (GamazonsMain, scrolledwindow6, "scrolledwindow6");
 757   GLADE_HOOKUP_OBJECT (GamazonsMain, textview1, "textview1");
 758   GLADE_HOOKUP_OBJECT (GamazonsMain, statusbar1, "statusbar1");
 759
 760   return GamazonsMain;
 761 }
 762
 763 GtkWidget*
 764 create_PlayerSettings (void)
 765 {
 766   GtkWidget *PlayerSettings;
 767   GtkWidget *vbox5;
 768   GtkWidget *hbox3;
 769   GtkWidget *WhitePlayerLabel;
 770   GtkWidget *WhiteHumanRadio;
 771   GSList *WhiteHumanRadio_group = NULL;
 772   GtkWidget *WhiteAIRadio;
 773   GtkWidget *hbox4;
 774   GtkWidget *BlackPlayerLabel;
 775   GtkWidget *BlackHumanRadio;
 776   GSList *BlackHumanRadio_group = NULL;
 777   GtkWidget *BlackAIRadio;
 778   GtkWidget *hseparator1;
 779   GtkWidget *AISettings;
 780   GtkWidget *hbox5;
 781   GtkWidget *vbox6;
 782   GtkWidget *hbox6;
 783   GtkWidget *TimeLabel;
 784   GtkWidget *SearchDepthLabel;
 785   GtkWidget *SearchWidthLabel;
 786   GtkWidget *hbox7;
 787   GtkObject *TimeSpinner_adj;
 788   GtkWidget *TimeSpinner;
 789   GtkObject *DepthSpinner_adj;
 790   GtkWidget *DepthSpinner;
 791   GtkObject *WidthSpinner_adj;
 792   GtkWidget *WidthSpinner;
 793   GtkWidget *hbuttonbox3;
 794   GtkWidget *PlayerOKButton;
 795   GtkWidget *PlayerCancelButton;
 796   GtkWidget *alignment1;
 797   GtkWidget *hbox8;
 798   GtkWidget *image1;
 799   GtkWidget *label9;
 800
 801   PlayerSettings = gtk_window_new (GTK_WINDOW_TOPLEVEL);
 802   gtk_widget_set_usize (PlayerSettings, 370, 185);
 803   gtk_window_set_title (GTK_WINDOW (PlayerSettings), _("Player Settings"));
 804   gtk_window_set_default_size (GTK_WINDOW (PlayerSettings), 300, 185);
 805   gtk_window_set_resizable (GTK_WINDOW (PlayerSettings), FALSE);
 806
 807   vbox5 = gtk_vbox_new (FALSE, 0);
 808   gtk_widget_show (vbox5);
 809   gtk_container_add (GTK_CONTAINER (PlayerSettings), vbox5);
 810   gtk_widget_set_usize (vbox5, -2, 70);
 811
 812   hbox3 = gtk_hbox_new (FALSE, 0);
 813   gtk_widget_show (hbox3);
 814   gtk_box_pack_start (GTK_BOX (vbox5), hbox3, TRUE, TRUE, 0);
 815   gtk_widget_set_usize (hbox3, -2, 2);
 816
 817   WhitePlayerLabel = gtk_label_new (_("White Player:"));
 818   gtk_widget_show (WhitePlayerLabel);
 819   gtk_box_pack_start (GTK_BOX (hbox3), WhitePlayerLabel, FALSE, FALSE, 0);
 820   gtk_widget_set_usize (WhitePlayerLabel, 100, -2);
 821   gtk_label_set_justify (GTK_LABEL (WhitePlayerLabel), GTK_JUSTIFY_LEFT);
 822   gtk_misc_set_alignment (GTK_MISC (WhitePlayerLabel), 0.3, 0.5);
 823
 824   WhiteHumanRadio = gtk_radio_button_new_with_mnemonic (NULL, _("Human"));
 825   gtk_widget_show (WhiteHumanRadio);
 826   gtk_box_pack_start (GTK_BOX (hbox3), WhiteHumanRadio, FALSE, FALSE, 0);
 827   gtk_widget_set_usize (WhiteHumanRadio, 85, -2);
 828   gtk_radio_button_set_group (GTK_RADIO_BUTTON (WhiteHumanRadio), WhiteHumanRadio_group);
 829   WhiteHumanRadio_group = gtk_radio_button_group (GTK_RADIO_BUTTON (WhiteHumanRadio));
 830
 831   WhiteAIRadio = gtk_radio_button_new_with_mnemonic (NULL, _("AI"));
 832   gtk_widget_show (WhiteAIRadio);
 833   gtk_box_pack_start (GTK_BOX (hbox3), WhiteAIRadio, FALSE, FALSE, 0);
 834   gtk_radio_button_set_group (GTK_RADIO_BUTTON (WhiteAIRadio), WhiteHumanRadio_group);
 835   WhiteHumanRadio_group = gtk_radio_button_group (GTK_RADIO_BUTTON (WhiteAIRadio));
 836
 837   hbox4 = gtk_hbox_new (FALSE, 0);
 838   gtk_widget_show (hbox4);
 839   gtk_box_pack_start (GTK_BOX (vbox5), hbox4, TRUE, TRUE, 0);
 840   gtk_widget_set_usize (hbox4, -2, 2);
 841
 842   BlackPlayerLabel = gtk_label_new (_("Black Player: "));
 843   gtk_widget_show (BlackPlayerLabel);
 844   gtk_box_pack_start (GTK_BOX (hbox4), BlackPlayerLabel, FALSE, FALSE, 0);
 845   gtk_widget_set_usize (BlackPlayerLabel, 100, -2);
 846   gtk_label_set_justify (GTK_LABEL (BlackPlayerLabel), GTK_JUSTIFY_LEFT);
 847
 848   BlackHumanRadio = gtk_radio_button_new_with_mnemonic (NULL, _("Human"));
 849   gtk_widget_show (BlackHumanRadio);
 850   gtk_box_pack_start (GTK_BOX (hbox4), BlackHumanRadio, FALSE, FALSE, 0);
 851   gtk_widget_set_usize (BlackHumanRadio, 85, -2);
 852   gtk_radio_button_set_group (GTK_RADIO_BUTTON (BlackHumanRadio), BlackHumanRadio_group);
 853   BlackHumanRadio_group = gtk_radio_button_group (GTK_RADIO_BUTTON (BlackHumanRadio));
 854
 855   BlackAIRadio = gtk_radio_button_new_with_mnemonic (NULL, _("AI"));
 856   gtk_widget_show (BlackAIRadio);
 857   gtk_box_pack_start (GTK_BOX (hbox4), BlackAIRadio, FALSE, FALSE, 0);
 858   gtk_radio_button_set_group (GTK_RADIO_BUTTON (BlackAIRadio), BlackHumanRadio_group);
 859   BlackHumanRadio_group = gtk_radio_button_group (GTK_RADIO_BUTTON (BlackAIRadio));
 860
 861   hseparator1 = gtk_hseparator_new ();
 862   gtk_widget_show (hseparator1);
 863   gtk_box_pack_start (GTK_BOX (vbox5), hseparator1, TRUE, TRUE, 0);
 864   gtk_widget_set_usize (hseparator1, -2, 1);
 865
 866   AISettings = gtk_label_new (_("AI Settings:"));
 867   gtk_widget_show (AISettings);
 868   gtk_box_pack_start (GTK_BOX (vbox5), AISettings, FALSE, FALSE, 0);
 869   gtk_widget_set_usize (AISettings, -2, 15);
 870   gtk_label_set_justify (GTK_LABEL (AISettings), GTK_JUSTIFY_LEFT);
 871
 872   hbox5 = gtk_hbox_new (FALSE, 0);
 873   gtk_widget_show (hbox5);
 874   gtk_box_pack_start (GTK_BOX (vbox5), hbox5, TRUE, TRUE, 0);
 875
 876   vbox6 = gtk_vbox_new (FALSE, 0);
 877   gtk_widget_show (vbox6);
 878   gtk_box_pack_start (GTK_BOX (hbox5), vbox6, TRUE, TRUE, 0);
 879   gtk_widget_set_usize (vbox6, -2, 28);
 880
 881   hbox6 = gtk_hbox_new (FALSE, 0);
 882   gtk_widget_show (hbox6);
 883   gtk_box_pack_start (GTK_BOX (vbox6), hbox6, TRUE, TRUE, 0);
 884
 885   TimeLabel = gtk_label_new (_("Search Time: "));
 886   gtk_widget_show (TimeLabel);
 887   gtk_box_pack_start (GTK_BOX (hbox6), TimeLabel, FALSE, FALSE, 0);
 888   gtk_widget_set_usize (TimeLabel, 121, -2);
 889   gtk_label_set_justify (GTK_LABEL (TimeLabel), GTK_JUSTIFY_LEFT);
 890
 891   SearchDepthLabel = gtk_label_new (_("Max Search Depth"));
 892   gtk_widget_show (SearchDepthLabel);
 893   gtk_box_pack_start (GTK_BOX (hbox6), SearchDepthLabel, FALSE, FALSE, 0);
 894   gtk_widget_set_usize (SearchDepthLabel, 127, -2);
 895
 896   SearchWidthLabel = gtk_label_new (_("Max Search Width"));
 897   gtk_widget_show (SearchWidthLabel);
 898   gtk_box_pack_start (GTK_BOX (hbox6), SearchWidthLabel, FALSE, FALSE, 0);
 899   gtk_widget_set_usize (SearchWidthLabel, 112, -2);
 900   gtk_label_set_justify (GTK_LABEL (SearchWidthLabel), GTK_JUSTIFY_RIGHT);
 901   gtk_misc_set_alignment (GTK_MISC (SearchWidthLabel), 1, 0.5);
 902
 903   hbox7 = gtk_hbox_new (FALSE, 0);
 904   gtk_widget_show (hbox7);
 905   gtk_box_pack_start (GTK_BOX (vbox6), hbox7, TRUE, TRUE, 0);
 906
 907   TimeSpinner_adj = gtk_adjustment_new (5, 1, 100, 1, 10, 10);
 908   TimeSpinner = gtk_spin_button_new (GTK_ADJUSTMENT (TimeSpinner_adj), 1, 0);
 909   gtk_widget_show (TimeSpinner);
 910   gtk_box_pack_start (GTK_BOX (hbox7), TimeSpinner, TRUE, TRUE, 10);
 911   gtk_widget_set_usize (TimeSpinner, 10, -2);
 912
 913   DepthSpinner_adj = gtk_adjustment_new (1, 1, 100, 1, 10, 10);
 914   DepthSpinner = gtk_spin_button_new (GTK_ADJUSTMENT (DepthSpinner_adj), 1, 0);
 915   gtk_widget_show (DepthSpinner);
 916   gtk_box_pack_start (GTK_BOX (hbox7), DepthSpinner, TRUE, TRUE, 10);
 917   gtk_widget_set_usize (DepthSpinner, 10, -2);
 918
 919   WidthSpinner_adj = gtk_adjustment_new (1, 1, 3000, 1, 10, 10);
 920   WidthSpinner = gtk_spin_button_new (GTK_ADJUSTMENT (WidthSpinner_adj), 1, 0);
 921   gtk_widget_show (WidthSpinner);
 922   gtk_box_pack_start (GTK_BOX (hbox7), WidthSpinner, TRUE, TRUE, 10);
 923   gtk_widget_set_usize (WidthSpinner, 10, -2);
 924
 925   hbuttonbox3 = gtk_hbutton_box_new ();
 926   gtk_widget_show (hbuttonbox3);
 927   gtk_box_pack_start (GTK_BOX (vbox5), hbuttonbox3, TRUE, TRUE, 0);
 928   gtk_widget_set_usize (hbuttonbox3, -2, 25);
 929   gtk_container_set_border_width (GTK_CONTAINER (hbuttonbox3), 39);
 930   gtk_button_box_set_spacing (GTK_BUTTON_BOX (hbuttonbox3), 0);
 931
 932   PlayerOKButton = gtk_button_new_from_stock ("gtk-ok");
 933   gtk_widget_show (PlayerOKButton);
 934   gtk_container_add (GTK_CONTAINER (hbuttonbox3), PlayerOKButton);
 935   gtk_widget_set_usize (PlayerOKButton, 50, -2);
 936   gtk_container_set_border_width (GTK_CONTAINER (PlayerOKButton), 10);
 937   GTK_WIDGET_SET_FLAGS (PlayerOKButton, GTK_CAN_DEFAULT);
 938
 939   PlayerCancelButton = gtk_button_new ();
 940   gtk_widget_show (PlayerCancelButton);
 941   gtk_container_add (GTK_CONTAINER (hbuttonbox3), PlayerCancelButton);
 942   gtk_container_set_border_width (GTK_CONTAINER (PlayerCancelButton), 10);
 943   GTK_WIDGET_SET_FLAGS (PlayerCancelButton, GTK_CAN_DEFAULT);
 944
 945   alignment1 = gtk_alignment_new (0.5, 0.5, 0, 0);
 946   gtk_widget_show (alignment1);
 947   gtk_container_add (GTK_CONTAINER (PlayerCancelButton), alignment1);
 948
 949   hbox8 = gtk_hbox_new (FALSE, 2);
 950   gtk_widget_show (hbox8);
 951   gtk_container_add (GTK_CONTAINER (alignment1), hbox8);
 952
 953   image1 = gtk_image_new_from_stock ("gtk-cancel", GTK_ICON_SIZE_BUTTON);
 954   gtk_widget_show (image1);
 955   gtk_box_pack_start (GTK_BOX (hbox8), image1, FALSE, FALSE, 0);
 956
 957   label9 = gtk_label_new_with_mnemonic (_("Cancel"));
 958   gtk_widget_show (label9);
 959   gtk_box_pack_start (GTK_BOX (hbox8), label9, FALSE, FALSE, 0);
 960   gtk_label_set_justify (GTK_LABEL (label9), GTK_JUSTIFY_LEFT);
 961
 962   gtk_signal_connect (GTK_OBJECT (PlayerOKButton), "clicked",
 963                       GTK_SIGNAL_FUNC (on_PlayerOKButton_clicked),
 964                       NULL);
 965   gtk_signal_connect (GTK_OBJECT (PlayerCancelButton), "clicked",
 966                       GTK_SIGNAL_FUNC (on_PlayerCancelButton_clicked),
 967                       NULL);
 968
 969   /* Store pointers to all widgets, for use by lookup_widget(). */
 970   GLADE_HOOKUP_OBJECT_NO_REF (PlayerSettings, PlayerSettings, "PlayerSettings");
 971   GLADE_HOOKUP_OBJECT (PlayerSettings, vbox5, "vbox5");
 972   GLADE_HOOKUP_OBJECT (PlayerSettings, hbox3, "hbox3");
 973   GLADE_HOOKUP_OBJECT (PlayerSettings, WhitePlayerLabel, "WhitePlayerLabel");
 974   GLADE_HOOKUP_OBJECT (PlayerSettings, WhiteHumanRadio, "WhiteHumanRadio");
 975   GLADE_HOOKUP_OBJECT (PlayerSettings, WhiteAIRadio, "WhiteAIRadio");
 976   GLADE_HOOKUP_OBJECT (PlayerSettings, hbox4, "hbox4");
 977   GLADE_HOOKUP_OBJECT (PlayerSettings, BlackPlayerLabel, "BlackPlayerLabel");
 978   GLADE_HOOKUP_OBJECT (PlayerSettings, BlackHumanRadio, "BlackHumanRadio");
 979   GLADE_HOOKUP_OBJECT (PlayerSettings, BlackAIRadio, "BlackAIRadio");
 980   GLADE_HOOKUP_OBJECT (PlayerSettings, hseparator1, "hseparator1");
 981   GLADE_HOOKUP_OBJECT (PlayerSettings, AISettings, "AISettings");
 982   GLADE_HOOKUP_OBJECT (PlayerSettings, hbox5, "hbox5");
 983   GLADE_HOOKUP_OBJECT (PlayerSettings, vbox6, "vbox6");
 984   GLADE_HOOKUP_OBJECT (PlayerSettings, hbox6, "hbox6");
 985   GLADE_HOOKUP_OBJECT (PlayerSettings, TimeLabel, "TimeLabel");
 986   GLADE_HOOKUP_OBJECT (PlayerSettings, SearchDepthLabel, "SearchDepthLabel");
 987   GLADE_HOOKUP_OBJECT (PlayerSettings, SearchWidthLabel, "SearchWidthLabel");
 988   GLADE_HOOKUP_OBJECT (PlayerSettings, hbox7, "hbox7");
 989   GLADE_HOOKUP_OBJECT (PlayerSettings, TimeSpinner, "TimeSpinner");
 990   GLADE_HOOKUP_OBJECT (PlayerSettings, DepthSpinner, "DepthSpinner");
 991   GLADE_HOOKUP_OBJECT (PlayerSettings, WidthSpinner, "WidthSpinner");
 992   GLADE_HOOKUP_OBJECT (PlayerSettings, hbuttonbox3, "hbuttonbox3");
 993   GLADE_HOOKUP_OBJECT (PlayerSettings, PlayerOKButton, "PlayerOKButton");
 994   GLADE_HOOKUP_OBJECT (PlayerSettings, PlayerCancelButton, "PlayerCancelButton");
 995   GLADE_HOOKUP_OBJECT (PlayerSettings, alignment1, "alignment1");
 996   GLADE_HOOKUP_OBJECT (PlayerSettings, hbox8, "hbox8");
 997   GLADE_HOOKUP_OBJECT (PlayerSettings, image1, "image1");
 998   GLADE_HOOKUP_OBJECT (PlayerSettings, label9, "label9");
 999
1000   return PlayerSettings;
1001 }
1002