[iagno/arnaudb/wip/gtk4: 32/54] Remove old hack.

[Arnaud B. <arnaudb src gnome org>]

commit 461b3322578d3e4f7965cb520fb088d6a61cc658
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Tue Feb 18 05:15:08 2020 +0100

    Remove old hack.
    
    Hoping it will not be needed anymore.

 src/new-game-screen.vala | 9 ---------
 1 file changed, 9 deletions(-)
---
diff --git a/src/new-game-screen.vala b/src/new-game-screen.vala
index e98bcb8..b8034af 100644
--- a/src/new-game-screen.vala
+++ b/src/new-game-screen.vala
@@ -36,8 +36,6 @@ private class NewGameScreen : Box, AdaptativeWidget
         Gdk.Display? gdk_display = Gdk.Display.get_default ();
         if (gdk_display != null) // else..?
             StyleContext.add_provider_for_display ((!) gdk_display, css_provider, 
STYLE_PROVIDER_PRIORITY_APPLICATION);
-
-        fix_race ();
     }
 
     internal NewGameScreen (string modelbutton_one_label,
@@ -100,12 +98,6 @@ private class NewGameScreen : Box, AdaptativeWidget
     * * adaptative stuff
     \*/
 
-    private void fix_race ()   // FIXME things are a bit racy between the CSS and the box orientation 
changes, so delay games_box redraw
-    {
-        size_allocate.connect_after (() => games_box.show ());
-        map.connect (() => games_box.show ());
-    }
-
     [GtkChild] private Box          games_box;
     [GtkChild] private Box          options_box;
 
@@ -151,7 +143,6 @@ private class NewGameScreen : Box, AdaptativeWidget
                 this.set_orientation (Orientation.VERTICAL);
                 games_box.set_orientation (Orientation.HORIZONTAL);
                 options_box.set_orientation (Orientation.HORIZONTAL);
-                games_box.hide ();
             }
         }
         else if (_phone_size)