[gnome-games/gnibbles-clutter] Don't reload the splash screen when changin the start level

[Guillaume Béland <guillaubel src gnome org>]

commit 8fd7845a1182fe95e70c3d872c6af1f7e40869aa
Author: Guillaume Beland <guillaume beland gmail com>
Date:   Tue Aug 11 13:59:12 2009 -0400

    Don't reload the splash screen when changin the start level

 gnibbles/preferences.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gnibbles/preferences.c b/gnibbles/preferences.c
index 49c5e33..d9d66ad 100644
--- a/gnibbles/preferences.c
+++ b/gnibbles/preferences.c
@@ -98,7 +98,7 @@ start_level_cb (GtkWidget * widget, gpointer data)
   if (!pref_dialog)
     return;
 
-  end_game (1);
+  end_game (FALSE);
 
   level = gtk_spin_button_get_value_as_int (GTK_SPIN_BUTTON (data));
   gnibbles_properties_set_start_level (level);