Set default mode

Author: jginternational

kratos.gid/exec/launch.json

@@ -1,23 +1,20 @@
 {
     "configurations": [
         {
-            "id": "pip",
             "name": "Launch via pip",
             "runtimeExecutable": "python.exe"
         },
         {
-            "id": "localpip",
             "name": "Launch via pip with local packages",
             "runtimeExecutable": "python.exe"
         },
         {
-            "id": "local",
             "name": "Launch local compiled version",
             "kratos_path": "E:/Deploy_Kratos",
             "runtimeExecutable": "python.exe"
         },
         {
-            "id": "docker",
+            "name": "Docker",
             "image": ""
         }
     ]

kratos.gid/kratos.tcl

@@ -113,6 +113,8 @@ proc Kratos::Event_InitProblemtype { dir } {
     # Load the Kratos problemtype global and user environment (stored preferences)
     Kratos::LoadEnvironment
 
+    Kratos::SetDefaultLaunchMode
+
     # Customize GiD menus to add the Kratos entry
     Kratos::UpdateMenus
 

kratos.gid/scripts/Controllers/Preferences.xml

@@ -19,7 +19,13 @@
             <option value='2' label='2'/>
         </combobox>
         <entrywithbutton name="debug_folder" label="Debug path" variable="debug_folder" buttonimage="folder.png" variablemanager='Kratos::ManagePreferences' buttonfunction="OpenBrowserForDirectory" help='Path to the kratos debug folder. This is placed in the launch.json file for debugging' />
-        <entry name="launch_configuration" label="Launch configuration" variable="launch_configuration" variablemanager='Kratos::ManagePreferences' help='' />
+        <combobox name="launch_configuration" label="Launch configuration" variable="launch_configuration" variablemanager='Kratos::ManagePreferences' help='' >
+            <option value='Launch via pip' label='Launch via pip'/>
+            <option value='Launch via pip with local packages' label='Launch via pip with local packages'/>
+            <option value='Launch local compiled version' label='Launch local compiled version'/>
+            <option value='Docker' label='Docker'/>
+            <option value='Custom...' label='Custom...'/>
+        </combobox>
     </labelframe>
 </group>
 

kratos.gid/scripts/Utils.tcl

@@ -152,7 +152,7 @@ proc Kratos::RegisterEnvironment { } {
     #do not save preferences starting with flag gid.exe -c (that specify read only an alternative file)
     if { [GiD_Set SaveGidDefaults] } {
         variable kratos_private
-        set vars_to_save [list DevMode echo_level mdpa_format debug_folder]
+        set vars_to_save [list DevMode echo_level mdpa_format debug_folder allow_logs launch_configuration]
         set preferences [dict create]
         foreach v $vars_to_save {
             if {[info exists kratos_private($v)]} {
@@ -367,4 +367,16 @@ proc Kratos::LoadConfigurationFile {config_file} {
 
     set dic [Kratos::ReadJsonDict $config_file]
     set ::Kratos::kratos_private(configurations) [dict get $dic configurations]
+}
+
+proc Kratos::SetDefaultLaunchMode { } {
+    set curr_mode $Kratos::kratos_private(launch_configuration)
+    set modes [list ]
+    set first ""
+    foreach mode $::Kratos::kratos_private(configurations) {
+        set mode_name [dict get $mode name]
+        lappend modes $mode_name
+        if {$first eq ""} {set first $mode_name}
+    }
+    if {$curr_mode ni $modes} {set Kratos::kratos_private(launch_configuration) $first}
 }