//Number of players: 2

  LIST = gtk_radio_button_new_with_label (NULL, "Human");
  gtk_widget_show(LIST);
  gtk_box_pack_start (GTK_BOX (BOX), LIST, 0, TRUE, 0);

  LIST = gtk_radio_button_new_with_label(gtk_radio_button_group (GTK_RADIO_BUTTON (LIST)), "AI");
  gtk_widget_show(LIST);
  gtk_box_pack_start (GTK_BOX (BOX), LIST, 0, TRUE, 0);

