widget_replace    191 lib/widget/widget-common.h void widget_replace (Widget * old, Widget * new);
widget_replace   1124 src/filemanager/layout.c         widget_replace (old_widget, new_widget);