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