[gnome-mahjongg/arnaudb/wip/gtk4: 17/23] Adapt border_width.

[Arnaud B. <arnaudb src gnome org>]

commit 80204476fd703987dd2d79b267989c18b662e5e1
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Fri Mar 27 19:53:59 2020 +0100

    Adapt border_width.

 src/gnome-mahjongg.vala | 6 ++++--
 src/score-dialog.vala   | 5 ++++-
 2 files changed, 8 insertions(+), 3 deletions(-)
---
diff --git a/src/gnome-mahjongg.vala b/src/gnome-mahjongg.vala
index da02cf0..bd87aa0 100644
--- a/src/gnome-mahjongg.vala
+++ b/src/gnome-mahjongg.vala
@@ -425,15 +425,17 @@ public class Mahjongg : Gtk.Application
                                                           window,
                                                           dialogs_use_header ? 
Gtk.DialogFlags.USE_HEADER_BAR : 0,
                                                           null);
-        preferences_dialog.set_border_width (5);
         var dialog_content_area = (Gtk.Box) preferences_dialog.get_content_area ();
         dialog_content_area.set_spacing (2);
         preferences_dialog.set_resizable (false);
         preferences_dialog.set_default_response (Gtk.ResponseType.CLOSE);
         preferences_dialog.response.connect (preferences_dialog_response_cb);
+        dialog_content_area.margin_top = 10;
+        dialog_content_area.margin_start = 10;
+        dialog_content_area.margin_end = 10;
+        dialog_content_area.margin_bottom = 10;
 
         var grid = new Gtk.Grid ();
-        grid.border_width = 5;
         grid.set_row_spacing (6);
         grid.set_column_spacing (18);
 
diff --git a/src/score-dialog.vala b/src/score-dialog.vala
index 4d1cd9c..c7d7583 100644
--- a/src/score-dialog.vala
+++ b/src/score-dialog.vala
@@ -33,7 +33,10 @@ public class ScoreDialog : Gtk.Dialog
         set_size_request (200, 300);
 
         var vbox = new Gtk.Box (Gtk.Orientation.VERTICAL, 5);
-        vbox.border_width = 6;
+        vbox.margin_top = 6;
+        vbox.margin_start = 6;
+        vbox.margin_end = 6;
+        vbox.margin_bottom = 6;
         get_content_area ().add (vbox);
 
         var hbox = new Gtk.Box (Gtk.Orientation.HORIZONTAL, 6);