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]);
     }
 }
Esempio n. 2
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;
        }