widget_erase      193 lib/widget/widget-common.h void widget_erase (Widget * w);
widget_erase       88 src/filemanager/info.c     widget_erase (w);
widget_erase     3645 src/filemanager/panel.c         widget_erase (w);
widget_erase     1119 src/filemanager/tree.c     widget_erase (w);
widget_erase      356 src/viewer/display.c     widget_erase (w);