panel_set_sort_type_by_id 3722 src/filemanager/panel.c         panel_set_sort_type_by_id (panel, "name");
panel_set_sort_type_by_id 3725 src/filemanager/panel.c         panel_set_sort_type_by_id (panel, "extension");
panel_set_sort_type_by_id 3728 src/filemanager/panel.c         panel_set_sort_type_by_id (panel, "size");
panel_set_sort_type_by_id 3731 src/filemanager/panel.c         panel_set_sort_type_by_id (panel, "mtime");