[four-in-a-row/arnaudb/wip/gtk4: 15/27] Adapt to MenuButton API.

[Arnaud B. <arnaudb src gnome org>]

commit 2e47788b787085eb903fc95ac2c9ac8dc46f8579
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Sun Apr 19 22:56:37 2020 +0200

    Adapt to MenuButton API.

 src/game-window.vala | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/game-window.vala b/src/game-window.vala
index dc1cedc..1093ba8 100644
--- a/src/game-window.vala
+++ b/src/game-window.vala
@@ -430,11 +430,11 @@ private class GameWindow : AdaptativeWindow, AdaptativeWidget
 
     private void toggle_hamburger (/* SimpleAction action, Variant? variant */)
     {
-        info_button.active = !info_button.active;
+//        info_button.active = !info_button.active;     // FIXME
     }
 
     internal void close_hamburger () // TODO manage also the HistoryButton here?
     {
-        info_button.active = false;
+        info_button.popdown ();
     }
 }