I expect it to open "SavedSketch2", since that is the last saved sketch that was open in Arduino IDE (step 18 of the demo).
Here is how the data is recorded:
- When you open a saved sketch in Arduino IDE, its path is prepended to the
recentRoots[]array inC:\Users\<username>\.arduinoIDE\recentworkspace.json. - When you exit Arduino IDE, the paths of all open saved sketches are saved to the
workspaces[*].filefields inC:\Users\<username>\AppData\Roaming\arduino-ide\config.json.
Here is how that data is used on IDE startup:
Even though it is very deterministic, there is some inconsistency:
- Sketches restored when the
config.jsondata is used are the sketches that were open at the time of IDE exit, but the sketch restored when therecentworkspace.jsondata is used is not necessarily one that was open at exit (because therecentworkspace.jsondata is recorded when the sketch is opened). - The fallback behavior when the sketches to be restored can't be loaded is always to open a new sketch, even though there might be a sketch available in the
recentworkspace.jsondata to restore. This is why a new sketch opens at step (25) of my demo, but then if you close the IDE and start it again a saved sketch will be restored.
Even so, I don't see that the inconsistency significantly harms the user experience. The inconsistencies I listed above occur under fairly uncommon conditions.