Plugins

Saves a whole DSH session as one .dsproj project file and opens it back. The session header gains an open button, a save button, a save-as button and an autosave switch, and the blank-session page gains its own open button. The first save asks where to put the file and later saves overwrite it; opening a .dsproj re-imports the session, switches to it, and can write the bundled workspace memory back on request.