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

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 235c7b6eaf3c762fd6fbe8a175d76bfc77ab252b
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Sun May 11 18:46:41 2014 -0500

    Use a header bar on the preferences dialog

 src/properties.c |    5 ++---
 1 files changed, 2 insertions(+), 3 deletions(-)
---
diff --git a/src/properties.c b/src/properties.c
index 722918d..0c12738 100644
--- a/src/properties.c
+++ b/src/properties.c
@@ -392,10 +392,9 @@ show_properties_dialog (void)
   if (propbox)
     return;
 
-  propbox = gtk_dialog_new_with_buttons (_("Robots Preferences"),
+  propbox = gtk_dialog_new_with_buttons (_("Preferences"),
                                         GTK_WINDOW (app),
-                                        GTK_DIALOG_DESTROY_WITH_PARENT,
-                                        GTK_STOCK_CLOSE, GTK_RESPONSE_ACCEPT,
+                                        GTK_DIALOG_USE_HEADER_BAR,
                                         NULL);
   gtk_container_set_border_width (GTK_CONTAINER (propbox), 5);
   gtk_box_set_spacing (GTK_BOX (gtk_dialog_get_content_area (GTK_DIALOG (propbox))), 2);