[gtk/arnaudb/better-substitution: 4/5] Replace also margin-left and margin-right.

[Arnaud B. <arnaudb src gnome org>]

commit 11a43cf5540923e8c91472fceb23285beb9810d7
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Sun Apr 12 18:40:14 2020 +0200

    Replace also margin-left and margin-right.

 gtk/tools/gtk-builder-tool-simplify.c | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/gtk/tools/gtk-builder-tool-simplify.c b/gtk/tools/gtk-builder-tool-simplify.c
index ce066e31f4..a13bb1332c 100644
--- a/gtk/tools/gtk-builder-tool-simplify.c
+++ b/gtk/tools/gtk-builder-tool-simplify.c
@@ -730,6 +730,8 @@ maybe_rename_property (Element *element, MyParserData *data)
     { "GtkPopover", "modal", GTK_TYPE_POPOVER, PROP_KIND_OBJECT, "autohide", { NULL, NULL, NULL } },
     { "GtkWidget", "expand", GTK_TYPE_WIDGET, PROP_KIND_OBJECT, "vexpand", { "hexpand", NULL, NULL } },
     { "GtkWidget", "margin", GTK_TYPE_WIDGET, PROP_KIND_OBJECT, "margin-bottom", { "margin-start", 
"margin-end", "margin-top" } },
+    { "GtkWidget", "margin-left", GTK_TYPE_WIDGET, PROP_KIND_OBJECT, "margin-start", { NULL, NULL, NULL } },
+    { "GtkWidget", "margin-right", GTK_TYPE_WIDGET, PROP_KIND_OBJECT, "margin-end", { NULL, NULL, NULL } },
     { "GtkHeaderBar", "show-close-button", GTK_TYPE_HEADER_BAR, PROP_KIND_OBJECT, "show-title-buttons", { 
NULL, NULL, NULL } }
   };
   int i, k, l;