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