Closes files opened from the side bar when their corresponding project is closed - #782
Closed
igordsm wants to merge 13 commits into
Closed
Closes files opened from the side bar when their corresponding project is closed#782igordsm wants to merge 13 commits into
igordsm wants to merge 13 commits into
Commits
Commits on Mar 16, 2020
Commits on Mar 18, 2020
- andauthored

- andauthored

- andauthored

- andauthored

- andauthored

- andauthored

- andauthored

- andauthored

- andauthored

- committed