widget_default_destroy  337 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);