[gnome-mines] Move appmenu to primary hamburger menu (#27)

[Robert Roth <robertroth src gnome org>]

commit 643e18e62c9fd0ee23ef86a6cd7acb7d263651de
Author: Robert Roth <robert roth off gmail com>
Date:   Fri Oct 5 01:12:56 2018 +0300

    Move appmenu to primary hamburger menu (#27)

 src/gnome-mines.vala | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)
---
diff --git a/src/gnome-mines.vala b/src/gnome-mines.vala
index 259dce0..67a0d75 100644
--- a/src/gnome-mines.vala
+++ b/src/gnome-mines.vala
@@ -242,7 +242,11 @@ public class Mines : Gtk.Application
             menu.append_section (null, section);
             section.append (_("_Help"), "app.help");
             section.append (_("_About Mines"), "app.about");
-            set_app_menu (menu);
+            var menu_button = new Gtk.MenuButton ();
+            menu_button.set_image (new Gtk.Image.from_icon_name ("open-menu-symbolic", Gtk.IconSize.BUTTON));
+            menu_button.show ();
+            menu_button.set_menu_model (menu);
+            headerbar.pack_end (menu_button);
         }
         else
         {