panel_index       478 src/filemanager/cmd.c switch_to_listing (int panel_index)
panel_index       480 src/filemanager/cmd.c     if (get_panel_type (panel_index) != view_listing)
panel_index       481 src/filemanager/cmd.c         create_panel (panel_index, view_listing);