[five-or-more/arnaudb/wip/gtk4: 2/19] Adapt to MenuButton API.

[Arnaud B. <arnaudb src gnome org>]

commit 4de36e6cd9f8a17b1826725ca5f6048ca2974806
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Thu Mar 12 23:32:42 2020 +0100

    Adapt to MenuButton API.

 src/window.vala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/window.vala b/src/window.vala
index 79632f6..a954aa1 100644
--- a/src/window.vala
+++ b/src/window.vala
@@ -167,7 +167,7 @@ private class GameWindow : ApplicationWindow
         if (game_size == size)
             return;
 
-        primary_menu_button.set_active (false);
+        primary_menu_button.popdown ();
 
         if (game.score > 0) {
             var flags = DialogFlags.DESTROY_WITH_PARENT;