trebmuh
commented
8 years ago It might be a choice to leave to the user in the Settings:
- starting with the default patch
- starting with the last patch used if available (if not -> fall back to the default patch with a pop up message "I didn't find the 'patch_name' patch you used last time, then I defaulted to the default patch")
It would be a great addition if Petri-Foo would try to recall the last patch used when you launch and fall back to the default patch if not possible (missing, compromised, ...).