* gladeui/glade-widget.[ch]: added glade_widget_property_original_default()

* gladeui/glade-property.[ch]: added glade_property_original_default()
  and glade_property_original_reset()

* plugins/gtk+/glade-gtk.c: fixed bug 397043
  "Not able to set label and stock separately in GtkImageMenuItems"

* plugins/gtk+/gtk+.xml.in: added generic-name to GtkMenuShell.

svn path=/trunk/; revision=1106