panel_index       508 src/filemanager/cmd.c switch_to_listing (int panel_index)
panel_index       510 src/filemanager/cmd.c     if (get_panel_type (panel_index) != view_listing)
panel_index       511 src/filemanager/cmd.c         create_panel (panel_index, view_listing);