[gnome-sudoku/arnaudb/wip/gtk4: 6/27] The margin property is gone.

[Arnaud B. <arnaudb src gnome org>]

commit e92b896dc2bad9496eea315b7ced53d4fb6a69d7
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Sun Apr 12 14:18:18 2020 +0200

    The margin property is gone.

 src/number-picker.vala | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)
---
diff --git a/src/number-picker.vala b/src/number-picker.vala
index d8c701e..b503d49 100644
--- a/src/number-picker.vala
+++ b/src/number-picker.vala
@@ -49,10 +49,10 @@ private class NumberPicker : Grid
 
                 var label = new Label ("<big>%d</big>".printf (n));
                 label.use_markup = true;
-                label.margin_start = earmark ? 0 : 8;
-                label.margin_end = earmark ? 16 : 8;
-                label.margin_top = earmark ? 0 : 4;
-                label.margin_bottom = earmark ? 8 : 4;
+                label.margin_start  = earmark ?  0 : 8;
+                label.margin_end    = earmark ? 16 : 8;
+                label.margin_top    = earmark ?  0 : 4;
+                label.margin_bottom = earmark ?  8 : 4;
                 button.add (label);
                 label.show ();
 
@@ -94,8 +94,11 @@ private class NumberPicker : Grid
 
         this.valign = Align.CENTER;
         this.halign = Align.CENTER;
-        this.margin = 2;
-        this.row_spacing = 3;
+        this.margin_start  = 2;
+        this.margin_end    = 2;
+        this.margin_top    = 2;
+        this.margin_bottom = 2;
+        this.row_spacing    = 3;
         this.column_spacing = 3;
         this.show ();
     }