mirror of
https://github.com/storytold/vectorcraft.git
synced 2026-11-11 23:32:14 +00:00
Clearing Preferences > Plug-ins & Scratch Disks > Additional Plug-ins Folder left the folder recorded as the one last loaded. Setting the same folder again then matched that record, and nothing in it was installed, so a plug-in removed in the meantime stayed removed. Clearing the preference now forgets the folder when it is the one last loaded.