right_panel      1417 src/filemanager/cmd.c         p = MENU_PANEL_IDX == 0 ? left_panel : right_panel;
right_panel      1423 src/filemanager/cmd.c         p = MENU_PANEL_IDX == 0 ? left_panel : right_panel;
right_panel       925 src/filemanager/filegui.c         if (!classic_progressbar && (current_panel == right_panel))
right_panel       941 src/filemanager/filegui.c                 if (!classic_progressbar && (current_panel == right_panel))
right_panel        98 src/filemanager/filemanager.c WPanel *right_panel = NULL;
right_panel       672 src/filemanager/filemanager.c     else if (right_panel != NULL)
right_panel       673 src/filemanager/filemanager.c         current_panel = right_panel;
right_panel        17 src/filemanager/filemanager.h #define MENU_PANEL (mc_global.widget.is_right ? right_panel : left_panel)
right_panel        35 src/filemanager/filemanager.h extern WPanel *right_panel;
right_panel      1255 src/filemanager/layout.c             right_panel = panel;
right_panel      1273 src/filemanager/layout.c         current_panel = num == 0 ? right_panel : left_panel;
right_panel      1339 src/filemanager/layout.c         tmp_panel = right_panel;
right_panel      1340 src/filemanager/layout.c         right_panel = left_panel;
right_panel       793 src/setup.c            panel_save_setup (right_panel, right_panel->name);