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