[libepc/gtk4: 12/13] examples: Avoid removed border_width.

[Murray Cumming <murrayc src gnome org>]

commit 551ec11aab0630caf1d9d09621d3b1c08e39a9ee
Author: Murray Cumming <murrayc murrayc com>
Date:   Fri Nov 18 09:43:00 2016 +0100

    examples: Avoid removed border_width.

 examples/publisher.ui |   20 ++++++++++++++++----
 1 files changed, 16 insertions(+), 4 deletions(-)
---
diff --git a/examples/publisher.ui b/examples/publisher.ui
index f1f54bc..4e8de1d 100644
--- a/examples/publisher.ui
+++ b/examples/publisher.ui
@@ -81,7 +81,10 @@
                     <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
                     <property name="visible">True</property>
                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | 
GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-                    <property name="border_width">6</property>
+                    <property name="margin_top">6</property>
+                    <property name="margin_bottom">6</property>
+                    <property name="margin_start">6</property>
+                    <property name="margin_end">6</property>
                     <property name="spacing">6</property>
                     <child>
                       <object class="GtkLabel" id="service-name-label">
@@ -144,7 +147,10 @@
                 <property name="visible">True</property>
                 <property name="can_focus">True</property>
                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | 
GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-                <property name="border_width">6</property>
+                <property name="margin_top">6</property>
+                <property name="margin_bottom">6</property>
+                <property name="margin_start">6</property>
+                <property name="margin_end">6</property>
                 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
                 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
                 <property name="shadow_type">GTK_SHADOW_IN</property>
@@ -170,7 +176,10 @@
                 <property name="visible">True</property>
                 <property name="sensitive">False</property>
                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | 
GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-                <property name="border_width">6</property>
+                <property name="margin_top">6</property>
+                <property name="margin_bottom">6</property>
+                <property name="margin_start">6</property>
+                <property name="margin_end">6</property>
                 <property name="spacing">6</property>
                 <child>
                   <object class="GtkScrolledWindow" id="text-view-scroller">
@@ -330,7 +339,10 @@
   </object>
   <object class="GtkAboutDialog" id="about-dialog">
     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | 
GDK_BUTTON_RELEASE_MASK</property>
-    <property name="border_width">5</property>
+    <property name="margin_top">5</property>
+    <property name="margin_bottom">5</property>
+    <property name="margin_start">5</property>
+    <property name="margin_end">5</property>
     <property name="resizable">False</property>
     <property name="modal">True</property>
     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>