diff options
| author | Arnaud Bonatti <arnaud.bonatti@gmail.com> | 2020-04-12 18:40:14 +0200 |
|---|---|---|
| committer | Arnaud Bonatti <arnaud.bonatti@gmail.com> | 2020-04-12 19:28:29 +0200 |
| commit | 11a43cf5540923e8c91472fceb23285beb9810d7 (patch) | |
| tree | a16736246682c60e2ceca93de2ec5755c3a0aead /gtk/tools | |
| parent | a7218da20239d9f2fd61c6c7851b97b2e0672a75 (diff) | |
| download | gtk+-11a43cf5540923e8c91472fceb23285beb9810d7.tar.gz | |
Replace also margin-left and margin-right.
Diffstat (limited to 'gtk/tools')
| -rw-r--r-- | gtk/tools/gtk-builder-tool-simplify.c | 2 |
1 files changed, 2 insertions, 0 deletions
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; |