apparently there is an issue with deleting workspaces. A deleted workspace (W2 in the image) doesn’t pop up in the main window, but it is still present in the list of workspaces. Clicking on delete returns “successfully deleted workspace” message, but it is not deleted.
On a possibly related note, a job that has been deleted and is no longer visible in its workspace, keeps being visible in the tree view, and doesn’t respond to deletion in a similar way (no error message, but it is not removed from the tree).
We’ve ironed out some bugs related to deleted projects/workspaces/jobs in v2.3. Once you update, is it possible if you can check if this is still an issue?
workspace that was supposed to be gone seems to be gone after update without any further action. Deleting projects / workspaces also seems to work in general now.