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