panel_index       469 src/filemanager/cmd.c switch_to_listing (int panel_index)
panel_index       471 src/filemanager/cmd.c     if (get_panel_type (panel_index) != view_listing)
panel_index       472 src/filemanager/cmd.c         create_panel (panel_index, view_listing);