This repository has been archived by the owner on Jun 19, 2023. It is now read-only.

Deleted items not removed #36

Open

msujew opened this issue Feb 15, 2020 · 0 comments

Labels

bug frontend

Milestone

Second Release 1.1

Member

msujew commented Feb 15, 2020

Deleting items via the file system currently lead to different consistency issues. Most notably that the items are persisted in the workspace model.

msujew added bug frontend labels

msujew added a commit that referenced this issue


          Remove in fs deleted workspace items (#36)

b7c8b4c

msujew added this to the Second Release 1.1 milestone

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.