old_widget       1099 src/filemanager/layout.c     Widget *new_widget = NULL, *old_widget = NULL;
old_widget       1123 src/filemanager/layout.c         old_widget = w;
old_widget       1146 src/filemanager/layout.c     if (old_widget == NULL && type != view_listing)
old_widget       1156 src/filemanager/layout.c         last_was_panel = old_widget != NULL && get_panel_type (num) != view_listing;
old_widget       1203 src/filemanager/layout.c     if (old_widget != NULL)
old_widget       1207 src/filemanager/layout.c             history_save (filemanager, old_widget);
old_widget       1209 src/filemanager/layout.c         widget_replace (old_widget, new_widget);
old_widget       1217 src/filemanager/layout.c         if (old_widget != NULL)
old_widget       1240 src/filemanager/layout.c     if ((type != view_listing) && (current_panel == PANEL (old_widget)))
old_widget       1243 src/filemanager/layout.c     g_free (old_widget);