widget_default_destroy  340 lib/widget/widget-common.c     w->destroy = widget_default_destroy;
widget_default_destroy  237 lib/widget/widget-common.h void widget_default_destroy (Widget * w);