From c321ef490cf93440439eff45695dcedaf2206ef7 Mon Sep 17 00:00:00 2001
From: fusion <denis.fumac@gmail.com>
Date: Tue, 18 Jan 2022 17:25:04 +0100
Subject: [PATCH] Remove project from workspace folder on project remove

---
 IDE/src/ui/ProjectPanel.bf | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/IDE/src/ui/ProjectPanel.bf b/IDE/src/ui/ProjectPanel.bf
index f3604d9f..98891943 100644
--- a/IDE/src/ui/ProjectPanel.bf
+++ b/IDE/src/ui/ProjectPanel.bf
@@ -1636,6 +1636,9 @@ namespace IDE.ui
 				listItem.mParentItem.RemoveChildItem(listItem);
 				Project project = projectItem.mProject;
 
+				if (mProjectToWorkspaceFolderMap.GetAndRemove(projectItem) case .Ok((?, let workspaceFolder)))
+					workspaceFolder.mProjects.Remove(project);
+
 				gApp.WithTabs(scope (tab) =>
 					{
 					    var sourceViewPanel = tab.mContent as SourceViewPanel;