[gnome-games] Remove dead code

[William Jon McCann <mccann src gnome org>]

commit fa6c3a5cca5751316631e16499ed3c5c477f6d0a
Author: William Jon McCann <jmccann redhat com>
Date:   Fri May 11 12:02:40 2012 -0400

    Remove dead code
    
    https://bugzilla.gnome.org/show_bug.cgi?id=675894
    
    https://bugzilla.gnome.org/show_bug.cgi?id=674875

 gnect/src/main.c          |   11 -----------
 gnobots2/src/properties.c |   28 ----------------------------
 2 files changed, 0 insertions(+), 39 deletions(-)
---
diff --git a/gnect/src/main.c b/gnect/src/main.c
index 1e584af..476942a 100644
--- a/gnect/src/main.c
+++ b/gnect/src/main.c
@@ -851,17 +851,6 @@ on_help_contents (GtkAction * action, gpointer data)
 }
 
 
-#if 0
-static void
-on_settings_toggle_sound (GtkMenuItem * m, gpointer user_data)
-{
-  p.do_sound = GTK_CHECK_MENU_ITEM (m)->active;
-  g_settings_set_boolean (NULL, KEY_DO_SOUND, p.do_sound);
-}
-#endif
-
-
-
 static void
 on_settings_preferences (GtkAction * action, gpointer user_data)
 {
diff --git a/gnobots2/src/properties.c b/gnobots2/src/properties.c
index 34e3aa0..78fa399 100644
--- a/gnobots2/src/properties.c
+++ b/gnobots2/src/properties.c
@@ -309,19 +309,6 @@ fill_typemenu (GtkWidget * menu)
   gint i;
   gchar *config;
 
-#if 0
-  /* this is just a place holder so that xgettext can found the strings to
-   * translate (those are the default games types)
-   */
-  char *just_a_place_holder[] = {
-    N_("classic robots"),
-    N_("robots2"),
-    N_("robots2 easy"),
-    N_("robots with safe teleport"),
-    N_("nightmare")
-  };
-#endif
-
   for (i = 0; i < num_game_configs (); ++i) {
     config = game_config_name (i);
     gtk_combo_box_text_append_text (GTK_COMBO_BOX_TEXT (menu), _(config));
@@ -355,21 +342,6 @@ make_theme_menu (void)
   /* FIXME: Get rid of the bubbles images from the list (preferably by
    * getting tid of the bubble pixmaps. */
 
-#if 0
-  /* this is just a place holder so that xgettext can found the strings to
-   * translate (those are the default graphic styles)
-   */
-  char *just_a_place_holder[] = {
-    N_("robots"),
-    N_("cows"),
-    N_("eggs"),
-    N_("gnomes"),
-    N_("mice"),
-    N_("ufo"),
-    N_("boo"),
-  };
-#endif
-
   return games_file_list_create_widget (theme_list,
 					properties.themename,
 					GAMES_FILE_LIST_REMOVE_EXTENSION |