Listings owned by Michael Pellaton

Extends the File > Switch Workspace… command with the option to transfer all preferences from the current workspace to the other one.