forked from AuroraMiddleware/gtk
Merge branch 'arnaudb/better-substitution' into 'master'
Fix some gtk-builder-tool substitutions. See merge request GNOME/gtk!1675
This commit is contained in:
commit
e3dba28666
@ -726,9 +726,12 @@ maybe_rename_property (Element *element, MyParserData *data)
|
|||||||
const char *new_name;
|
const char *new_name;
|
||||||
const char *alt_names[3];
|
const char *alt_names[3];
|
||||||
} props[] = {
|
} props[] = {
|
||||||
|
/* the "replacement" property is placed *after* the "added" properties */
|
||||||
{ "GtkPopover", "modal", GTK_TYPE_POPOVER, PROP_KIND_OBJECT, "autohide", { NULL, NULL, NULL } },
|
{ "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", "expand", GTK_TYPE_WIDGET, PROP_KIND_OBJECT, "vexpand", { "hexpand", NULL, NULL } },
|
||||||
{ "GtkWidget", "margin", GTK_TYPE_WIDGET, PROP_KIND_OBJECT, "margin-left", { "margin-top", "margin-right", "margin-bottom" } },
|
{ "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 } }
|
{ "GtkHeaderBar", "show-close-button", GTK_TYPE_HEADER_BAR, PROP_KIND_OBJECT, "show-title-buttons", { NULL, NULL, NULL } }
|
||||||
};
|
};
|
||||||
int i, k, l;
|
int i, k, l;
|
||||||
|
@ -8,12 +8,12 @@
|
|||||||
<property name="label" translatable="yes">Hello World!</property>
|
<property name="label" translatable="yes">Hello World!</property>
|
||||||
<property name="active">1</property>
|
<property name="active">1</property>
|
||||||
<property name="receives_default">1</property>
|
<property name="receives_default">1</property>
|
||||||
<property name="vexpand">1</property>
|
|
||||||
<property name="hexpand">1</property>
|
<property name="hexpand">1</property>
|
||||||
|
<property name="vexpand">1</property>
|
||||||
|
<property name="margin-start">10</property>
|
||||||
|
<property name="margin-end">10</property>
|
||||||
<property name="margin-top">10</property>
|
<property name="margin-top">10</property>
|
||||||
<property name="margin-right">10</property>
|
|
||||||
<property name="margin-bottom">10</property>
|
<property name="margin-bottom">10</property>
|
||||||
<property name="margin-left">10</property>
|
|
||||||
<layout>
|
<layout>
|
||||||
<property name="left_attach">0</property>
|
<property name="left_attach">0</property>
|
||||||
<property name="top_attach">0</property>
|
<property name="top_attach">0</property>
|
||||||
|
@ -7,8 +7,8 @@
|
|||||||
<property name="window_position">center</property>
|
<property name="window_position">center</property>
|
||||||
<child>
|
<child>
|
||||||
<object class="GtkBox" id="box1">
|
<object class="GtkBox" id="box1">
|
||||||
<property name="margin_left">12</property>
|
<property name="margin-start">12</property>
|
||||||
<property name="margin_right">12</property>
|
<property name="margin-end">12</property>
|
||||||
<property name="margin_bottom">12</property>
|
<property name="margin_bottom">12</property>
|
||||||
<property name="orientation">vertical</property>
|
<property name="orientation">vertical</property>
|
||||||
<property name="spacing">12</property>
|
<property name="spacing">12</property>
|
||||||
|
Loading…
Reference in New Issue
Block a user