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