The list of existing workspaces is not updated after deleting a workspace.

[mark-ep]

Expected behavior

The deleted workspace should not be shown in the interface

Actual behavior

Going to workspace > switch to > ..., the workspace that has just been deleted is shown as an option.

Steps to reproduce the issue

1. Create a workspace in DeDop Studio
2. Delete it
3. Check the list of workspaces under the 'switch to' option - the workspace that has just been deleted is shown as an option
4. Attempting to switch to this workspace causes an error.

Specifications

DeDop 1.5.1, Windows 7 (most likely this happens on all OSes)