[gnome-nibbles/arnaudb/wip/gtk4: 145/188] Comment EventConfigure thing.

[Arnaud B. <arnaudb src gnome org>]

commit 6d55b0f6f8d8259acff93ad1c365d6562fbffb1a
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Sat May 30 18:07:08 2020 +0200

    Comment EventConfigure thing.

 src/nibbles-view.vala | 60 +++++++++++++++++++++++++--------------------------
 1 file changed, 30 insertions(+), 30 deletions(-)
---
diff --git a/src/nibbles-view.vala b/src/nibbles-view.vala
index 588972b..82c05ef 100644
--- a/src/nibbles-view.vala
+++ b/src/nibbles-view.vala
@@ -184,39 +184,39 @@ private class NibblesView : Widget
         load_pixmap ();
     }
 
-    protected override bool configure_event (Gdk.EventConfigure event)
-    {
-        int new_tile_size, ts_x, ts_y;
-
-        /* Compute the new tile size based on the size of the
-         * drawing area, rounded down.
-         */
-        ts_x = event.width / WIDTH;
-        ts_y = event.height / HEIGHT;
-        if (ts_x * WIDTH > event.width)
-            ts_x--;
-        if (ts_y * HEIGHT > event.height)
-            ts_y--;
-        new_tile_size = int.min (ts_x, ts_y);
-
-        if (new_tile_size == 0 || tile_size == 0)
-            return true;
-
-        if (tile_size != new_tile_size)
-        {
-            get_stage ().set_size (new_tile_size * WIDTH, new_tile_size * HEIGHT);
+//    protected override bool configure_event (Gdk.EventConfigure event)
+//    {
+//        int new_tile_size, ts_x, ts_y;
+
+//        /* Compute the new tile size based on the size of the
+//         * drawing area, rounded down.
+//         */
+//        ts_x = event.width / WIDTH;
+//        ts_y = event.height / HEIGHT;
+//        if (ts_x * WIDTH > event.width)
+//            ts_x--;
+//        if (ts_y * HEIGHT > event.height)
+//            ts_y--;
+//        new_tile_size = int.min (ts_x, ts_y);
+
+//        if (new_tile_size == 0 || tile_size == 0)
+//            return true;
+
+//        if (tile_size != new_tile_size)
+//        {
+//            get_stage ().set_size (new_tile_size * WIDTH, new_tile_size * HEIGHT);
 
-            board_rescale (new_tile_size);
-            boni_rescale  (new_tile_size);
-            warps_rescale (new_tile_size);
-            foreach (var worm in game.worms)
-                worm.rescaled (new_tile_size);
+//            board_rescale (new_tile_size);
+//            boni_rescale  (new_tile_size);
+//            warps_rescale (new_tile_size);
+//            foreach (var worm in game.worms)
+//                worm.rescaled (new_tile_size);
 
-            tile_size = new_tile_size;
-        }
+//            tile_size = new_tile_size;
+//        }
 
-        return false;
-    }
+//        return false;
+//    }
 
     /*\
     * * Level creation and loading