[Glade-devel] Why the menu property in GtkMenuToolButton is disabled ??

[Umberto Allievi]

It has been committed to git on january 8th, 2011 by Tristan Van Berkom:

diff --git a/plugins/gtk+/gtk+.xml.in b/plugins/gtk+/gtk+.xml.in
index 4cfb1a1..d76fce2 100644
--- a/plugins/gtk+/gtk+.xml.in
+++ b/plugins/gtk+/gtk+.xml.in
@@ -740,6 +740,12 @@ embedded in another object</_tooltip>
<add-child-function>glade_gtk_menu_tool_button_add_child</add-child-function>
<remove-child-function>glade_gtk_menu_tool_button_remove_child</remove-child-function>
<get-children-function>glade_gtk_menu_tool_button_get_children</get-children-function>
+ <special-child-type>menu</special-child-type>
+
+ <properties>
+ <property id="menu" disabled="True"/>
+ </properties>
+
</glade-widget-class>

Thanks, Umberto