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