the_other_panel  1181 src/filemanager/layout.c         WPanel *the_other_panel;
the_other_panel  1185 src/filemanager/layout.c         the_other_panel = PANEL (panels[the_other].widget);
the_other_panel  1186 src/filemanager/layout.c         if (the_other_panel != NULL)
the_other_panel  1190 src/filemanager/layout.c             fe = panel_current_entry (the_other_panel);