[gnome-mines/arnaudb/wip/gtk4: 82/85] Adapt to HeaderBar API.

[Arnaud B. <arnaudb src gnome org>]

commit 35991709ae009779012d338b41233f8aba0584eb
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 3c8959a..163e3a1 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 ();