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

[Arnaud B. <arnaudb src gnome org>]

commit 4fc0b6ba291a8fc35525f0730d171b3382eacb6c
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 75c7744..5a2209d 100644
--- a/src/number-picker.vala
+++ b/src/number-picker.vala
@@ -50,10 +50,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 ();
 
@@ -100,8 +100,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 ();
     }