last_was_panel    603 src/filemanager/layout.c restore_into_right_dir_panel (int idx, gboolean last_was_panel, int y, int x, int lines, int cols)
last_was_panel    610 src/filemanager/layout.c     if (last_was_panel)
last_was_panel   1075 src/filemanager/layout.c             gboolean last_was_panel;
last_was_panel   1077 src/filemanager/layout.c             last_was_panel = old_widget != NULL && get_panel_type (num) != view_listing;
last_was_panel   1078 src/filemanager/layout.c             new_widget = restore_into_right_dir_panel (num, last_was_panel, y, x, lines, cols);