[gnome-robots] Use a header bar

[Michael Catanzaro <mcatanzaro src gnome org>]

commit fa2aa1f79bd2dd0d75cf0c7806b1b600c2af82cd
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Fri Jun 20 18:52:05 2014 -0500

    Use a header bar

 src/gnobots.c |    8 ++++++--
 1 files changed, 6 insertions(+), 2 deletions(-)
---
diff --git a/src/gnobots.c b/src/gnobots.c
index 65b6a57..c0a8ff5 100644
--- a/src/gnobots.c
+++ b/src/gnobots.c
@@ -279,12 +279,16 @@ shutdown (GtkApplication *app, gpointer user_data)
 static void
 activate (GtkApplication *app, gpointer user_data)
 {
-  GtkWidget *errordialog, *vbox, *statusbar, *gridframe;
+  GtkWidget *errordialog, *vbox, *statusbar, *gridframe, *headerbar;
   GtkBuilder *builder;
   GMenuModel *appmenu;
 
+  headerbar = gtk_header_bar_new ();
+  gtk_header_bar_set_title (GTK_HEADER_BAR (headerbar), _("Robots"));
+  gtk_header_bar_set_show_close_button (GTK_HEADER_BAR (headerbar), TRUE);
+
   window = gtk_application_window_new (app);
-  gtk_window_set_title (GTK_WINDOW (window), _("Robots"));
+  gtk_window_set_titlebar (GTK_WINDOW (window), headerbar);
   g_signal_connect (GTK_WINDOW (window), "configure-event", G_CALLBACK (window_configure_event_cb), NULL);
   g_signal_connect (GTK_WINDOW (window), "window-state-event", G_CALLBACK (window_state_event_cb), NULL);
   gtk_window_set_default_size (GTK_WINDOW (window), g_settings_get_int (settings, "window-width"), 
g_settings_get_int (settings, "window-height"));