[gnome-nibbles] Use a header bar on the preferences dialog

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 0f937679e2e45c687d3b49a3100d175fc7203bc5
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Sun May 11 11:38:09 2014 -0500

    Use a header bar on the preferences dialog
    
    https://bugzilla.gnome.org/show_bug.cgi?id=729962

 src/preferences.c |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/src/preferences.c b/src/preferences.c
index d549c8b..3012b7f 100644
--- a/src/preferences.c
+++ b/src/preferences.c
@@ -220,10 +220,10 @@ gnibbles_preferences_cb (GtkWidget * widget, gpointer data)
     return;
   }
 
-  pref_dialog = gtk_dialog_new_with_buttons (_("Nibbles Preferences"),
-                                             GTK_WINDOW (window), 0,
-                                             _("_Close"),
-                                             GTK_RESPONSE_CLOSE, NULL);
+  pref_dialog = gtk_dialog_new_with_buttons (_("Preferences"),
+                                             GTK_WINDOW (window),
+                                             GTK_DIALOG_USE_HEADER_BAR,
+                                             NULL);
   gtk_container_set_border_width (GTK_CONTAINER (pref_dialog), 5);
   gtk_box_set_spacing
     (GTK_BOX (gtk_dialog_get_content_area (GTK_DIALOG (pref_dialog))), 2);