panel_index       496 src/filemanager/cmd.c switch_to_listing (int panel_index)
panel_index       498 src/filemanager/cmd.c     if (get_panel_type (panel_index) != view_listing)
panel_index       499 src/filemanager/cmd.c         create_panel (panel_index, view_listing);