mirror of
https://github.com/storytold/vectorcraft.git
synced 2026-11-12 17:02:03 -06:00
The name remembered for a user library file stays only while the file still holds the bytes that were written. A file a device name could make, which can no longer be read, is kept too, and the save goes to a new file. Co-authored-by: Adithya Shankaran <adikshan11@users.noreply.github.com>