[iagno/arnaudb/wip/gtk4: 14/54] Looks like grab_default() is gone.

[Arnaud B. <arnaudb src gnome org>]

commit 02f6e63329a2cbf6aba4f59318027c2831b18403
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Fri Feb 14 17:52:32 2020 +0100

    Looks like grab_default() is gone.

 src/game-headerbar.vala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/game-headerbar.vala b/src/game-headerbar.vala
index d71fe42..0045cac 100644
--- a/src/game-headerbar.vala
+++ b/src/game-headerbar.vala
@@ -171,7 +171,7 @@ private class GameHeaderBar : BaseHeaderBar, AdaptativeWidget
         if (game_widget != null && ((!) game_widget) is MenuButton && !((MenuButton) (!) 
game_widget).popover.visible)   // hackish 3/3
             new_game_button.grab_focus ();
         else
-            new_game_button.grab_default ();    // FIXME: grab_focus, but without closing the popover...
+            new_game_button.grab_focus ();    // FIXME: was using grab_default in gtk3; should not close the 
popover...; TEST: method returns bool
     }
 
     internal void update_title (string new_title)