internal static void restore_previously_selected() { CraftData.deselect_all(); foreach (string path in previously_selected) { CraftData craft = CraftData.all_craft.Find(c => c.path == path); if (craft != null) { craft.group_selected = true; } } if (active_craft.Count == 1) { CraftData.select_craft(active_craft[0]); } }
private void get_current_craft(bool allow_retry = true) { CraftData craft = CraftData.all_craft.Find(c => c.save_dir == CraftManager.main_ui.current_save_dir && c.construction_type == EditorDriver.editorFacility.ToString() && c.name == EditorLogic.fetch.ship.shipName ); if (craft != null) { CraftData.select_craft(craft); } else { if (allow_retry) { refresh(); get_current_craft(false); } else { CraftData.deselect_all(); } } last_editor_craft_name = EditorLogic.fetch.ship.shipName; }