the_other_panel  1196 src/filemanager/layout.c             WPanel *the_other_panel;
the_other_panel  1200 src/filemanager/layout.c             the_other_panel = PANEL (panels[the_other].widget);
the_other_panel  1201 src/filemanager/layout.c             if (the_other_panel != NULL)
the_other_panel  1205 src/filemanager/layout.c                 fe = panel_current_entry (the_other_panel);