Make the workspace saver in the menu badger the user for a unique name.
Description
Description
Details
Details
- Committed
woltherav Oct 30 2019, 4:37 PM - Parents
- R37:bfec94d592b3: Make the resource locator assign a default filename if none exist.
- Branches
- Unknown
- Tags
- References
- refs/keep-around/917e320ac145b1d59a2c72b9d11011c45b749607