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);