[gnome-mines/arnaudb/wip/gtk4: 36/40] Adapt to HeaderBar API.

[Arnaud B. <arnaudb src gnome org>]

commit 300b8b3f2f19370882e2bc0f9bb74e2d3e5620d8
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Tue Sep 8 16:28:23 2020 +0200

    Adapt to HeaderBar API.

 src/gnome-mines.vala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/gnome-mines.vala b/src/gnome-mines.vala
index 4aa2011..ff17259 100644
--- a/src/gnome-mines.vala
+++ b/src/gnome-mines.vala
@@ -215,7 +215,7 @@ public class Mines : Gtk.Application
 
         var headerbar = new HeaderBar ();
         headerbar.show_title_buttons = true;
-        headerbar.set_title (_("Mines"));
+        window.set_title (_("Mines"));
         window.set_titlebar (headerbar);
 
         var menu = new GLib.Menu ();