panel_set_filter 1405 src/filemanager/cmd.c     panel_set_filter (p, NULL); /* including panel reload */
panel_set_filter 2757 src/filemanager/panel.c     panel_set_filter (panel, &ff);
panel_set_filter  173 src/filemanager/panel.h void panel_set_filter (WPanel * panel, const file_filter_t * filter);