From defc3d8cbc7e5189c73fa1aad51bc8acc73d132c Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Sun, 19 Jul 2015 13:18:30 -0400
Subject: [PATCH] builder-tool: Don't strip border-width

Strictly speaking, this would only have to be special-cased inside
GtkDialog, but lets just skip it altogether.
---
 gtk/gtk-builder-tool.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gtk/gtk-builder-tool.c b/gtk/gtk-builder-tool.c
index 3223f6f660..e68ec414c2 100644
--- a/gtk/gtk-builder-tool.c
+++ b/gtk/gtk-builder-tool.c
@@ -134,6 +134,7 @@ needs_explicit_setting (MyParserData *data,
     { "GtkGrid", "top-attach", 1 },
     { "GtkWidget", "hexpand", 0 },
     { "GtkWidget", "vexpand", 0 },
+    { "GtkContainer", "border-width", 0 },
     { NULL, NULL, 0 }
   };
   const gchar *class_name;