From 46ba01952290f97216ec132ff54b0ae63727f48d Mon Sep 17 00:00:00 2001 From: Matt Guerrette Date: Mon, 2 Mar 2020 22:24:46 -0500 Subject: [PATCH] builder-tool: rename show-close-button to show-title-buttons For GtkHeaderBar show-close-button has been renamed to show-title-buttons for GTK4. This commit adds this fixup to the builder tool --- gtk/tools/gtk-builder-tool-simplify.c | 1 + 1 file changed, 1 insertion(+) diff --git a/gtk/tools/gtk-builder-tool-simplify.c b/gtk/tools/gtk-builder-tool-simplify.c index a2b42d135b..c3fed09117 100644 --- a/gtk/tools/gtk-builder-tool-simplify.c +++ b/gtk/tools/gtk-builder-tool-simplify.c @@ -729,6 +729,7 @@ 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, "hexpand", { "vexpand", NULL, NULL } }, { "GtkWidget", "margin", GTK_TYPE_WIDGET, PROP_KIND_OBJECT, "margin-left", { "margin-top", "margin-right", "margin-bottom" } }, + { "GtkHeaderBar", "show-close-button", GTK_TYPE_HEADER_BAR, PROP_KIND_OBJECT, "show-title-buttons", { NULL, NULL, NULL } } }; int i, k, l; PropKind kind;