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

[Arnaud B. <arnaudb src gnome org>]

commit 34cfdab3a8b687c95e1764f6fe0b04caa77d9a7a
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 ff4e3c6..f505f8c 100644
--- a/src/game-window.vala
+++ b/src/game-window.vala
@@ -441,11 +441,11 @@ private class GameWindow : AdaptativeWindow, AdaptativeWidget
 
     private inline void toggle_hamburger (/* SimpleAction action, Variant? variant */)
     {
-        info_button.active = !info_button.active;
+//        info_button.active = !info_button.active;     // FIXME
     }
 
     internal inline void close_hamburger () // TODO manage also the HistoryButton here?
     {
-        info_button.active = false;
+        info_button.popdown ();
     }
 }