the_other_panel  1188 src/filemanager/layout.c         WPanel *the_other_panel;
the_other_panel  1192 src/filemanager/layout.c         the_other_panel = PANEL (panels[the_other].widget);
the_other_panel  1193 src/filemanager/layout.c         if (the_other_panel != NULL)
the_other_panel  1197 src/filemanager/layout.c             fe = panel_current_entry (the_other_panel);