summaryrefslogtreecommitdiff
path: root/gtk/tools
diff options
context:
space:
mode:
authorMatt Guerrette <direct3Dtutorials@gmail.com>2020-03-02 22:24:46 -0500
committerMatt Guerrette <direct3Dtutorials@gmail.com>2020-03-02 22:24:46 -0500
commit46ba01952290f97216ec132ff54b0ae63727f48d (patch)
tree40f3e85b74b255bf11cceb4b0a7d859b82c61ac2 /gtk/tools
parent3ef1dca51c9994caba03e046c16398cdf03dc259 (diff)
downloadgtk+-46ba01952290f97216ec132ff54b0ae63727f48d.tar.gz
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
Diffstat (limited to 'gtk/tools')
-rw-r--r--gtk/tools/gtk-builder-tool-simplify.c1
1 files changed, 1 insertions, 0 deletions
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;