the_other_panel  1171 src/filemanager/layout.c         WPanel *the_other_panel;
the_other_panel  1175 src/filemanager/layout.c         the_other_panel = PANEL (panels[the_other].widget);
the_other_panel  1176 src/filemanager/layout.c         if (the_other_panel != NULL)
the_other_panel  1180 src/filemanager/layout.c             fe = panel_current_entry (the_other_panel);