[gnome-mines/arnaudb/wip/gtk4: 11/39] The border_width property is gone.

[Arnaud B. <arnaudb src gnome org>]

commit 90b7821e97e5635b5e2345ea30d1c54575b4b80b
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Mon Apr 13 23:00:16 2020 +0200

    The border_width property is gone.

 src/theme-selector-dialog.vala | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)
---
diff --git a/src/theme-selector-dialog.vala b/src/theme-selector-dialog.vala
index 7f5217c..15d5763 100644
--- a/src/theme-selector-dialog.vala
+++ b/src/theme-selector-dialog.vala
@@ -89,7 +89,10 @@ public class ThemeSelectorDialog : Gtk.Dialog
 
         var box = new Gtk.Box (Gtk.Orientation.VERTICAL, 0);
         var frame = new Gtk.AspectFrame (null, 0.5f, 0.5f, 1.0f, false);
-        frame.border_width = 6;
+        frame.margin_start = 6;
+        frame.margin_end = 6;
+        frame.margin_top = 6;
+        frame.margin_bottom = 6;
         frame.add (view);
         reveal_nonmines (view);
         box.pack_start (frame, true, true, 0);