[gnome-mines/arnaudb/wip/gtk4: 20/39] The border-width property is gone, really.

[Arnaud B. <arnaudb src gnome org>]

commit 51519c878c7084f67dce9eb8e4df409e65fa19cb
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Mon Apr 13 23:58:22 2020 +0200

    The border-width property is gone, really.

 src/theme-selector-dialog.vala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/theme-selector-dialog.vala b/src/theme-selector-dialog.vala
index a59b916..55a336f 100644
--- a/src/theme-selector-dialog.vala
+++ b/src/theme-selector-dialog.vala
@@ -105,7 +105,7 @@ public class ThemeSelectorDialog : Gtk.Dialog
         MinefieldView minefield;
 
         Object (use_header_bar: 1, title:  _("Select Theme"),
-                modal: true, transient_for: parent, resizable: false, border_width: 12);
+                modal: true, transient_for: parent, resizable: false, margin_start: 12, margin_end: 12, 
margin_top: 12, margin_bottom: 12);
 
         previous = new Gtk.Button.from_icon_name ("go-previous-symbolic");
         previous.valign = Gtk.Align.CENTER;