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

[Arnaud B. <arnaudb src gnome org>]

commit d8c4d3f296ceae3df94e67ffec32cb4a2e50e163
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 77a0c47..52874f6 100644
--- a/src/window.vala
+++ b/src/window.vala
@@ -168,7 +168,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;