From 0a347c6ff297afcc43a531fbc9141fc4e1909cd8 Mon Sep 17 00:00:00 2001
From: Daniel Boles <dboles@src.gnome.org>
Date: Sat, 21 Jan 2017 22:39:06 +0000
Subject: [PATCH] 3to4: Fix suggested replacements for border-width
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

The new CSS border-spacing does what Grid::(row|column)_spacing and
Box::spacing already did, i.e. controlling the space added between child
widgets, so it’s not a replacement for Container::border-width.
---
 docs/reference/gtk/migrating-3to4.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/reference/gtk/migrating-3to4.xml b/docs/reference/gtk/migrating-3to4.xml
index f33cc15c4f..ec06d47614 100644
--- a/docs/reference/gtk/migrating-3to4.xml
+++ b/docs/reference/gtk/migrating-3to4.xml
@@ -169,7 +169,7 @@
       <para>
         GTK+ 4 has removed the #GtkContainer::border-width property.
         Use other means to influence the spacing of your containers,
-        such as the CSS border-spacing property.
+        such ss the CSS margin and padding properties on child widgets.
       </para>
     </section>