From d142554ed3f1d9c8191dd2ac98ac766200666ba2 Mon Sep 17 00:00:00 2001
From: Georges Basile Stavracas Neto <georges.stavracas@gmail.com>
Date: Fri, 8 Jul 2022 15:05:52 -0300
Subject: [PATCH] malcontent-control: Replace border-width by margins

The 'border-width' property does not exist in GTK4 anymore, so
replace it with margin-* and in one case just remove it entirely.
---
 malcontent-control/carousel.ui | 10 ++++++++--
 malcontent-control/main.ui     |  1 -
 2 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/malcontent-control/carousel.ui b/malcontent-control/carousel.ui
index d6340f9..ce1e5dd 100644
--- a/malcontent-control/carousel.ui
+++ b/malcontent-control/carousel.ui
@@ -9,7 +9,10 @@
     <child>
       <object class="GtkOverlay">
         <property name="hexpand">True</property>
-        <property name="border_width">16</property>
+        <property name="margin-top">16</property>
+        <property name="margin-bottom">16</property>
+        <property name="margin-start">16</property>
+        <property name="margin-end">16</property>
         <child>
           <object class="GtkStack" id="stack">
             <property name="transition_duration">400</property>
@@ -24,7 +27,10 @@
             <child>
               <object class="GtkBox">
                 <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
-                <property name="border_width">12</property>
+                <property name="margin-top">12</property>
+                <property name="margin-bottom">12</property>
+                <property name="margin-start">12</property>
+                <property name="margin-end">12</property>
                 <child>
                   <object class="GtkButton" id="go_back_button">
                     <property name="visible">False</property>
diff --git a/malcontent-control/main.ui b/malcontent-control/main.ui
index fd3ab1c..b26fbc8 100644
--- a/malcontent-control/main.ui
+++ b/malcontent-control/main.ui
@@ -34,7 +34,6 @@
             <child>
               <object class="GtkBox">
                 <property name="orientation">vertical</property>
-                <property name="border_width">0</property>
                 <child>
                   <object class="MctUserSelector" id="user_selector">
                     <property name="user-manager">user_manager</property>